On the Axiomatisation of Elgesem's Logic of Agency and Ability

&
Journal of Philosophical Logic 34 (4):403-431 (2005)
  Copy   BIBTEX

Abstract

In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours

Categories

Keywords

Reprint years

2004

DOI

10.1007/s10992-004-6368-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The modal logic of agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
A Hilbert-Style Axiomatisation for Equational Hybrid Logic.Luís S. Barbosa, Manuel A. Martins & Marta Carreteiro - 2014 - Journal of Logic, Language and Information 23 (1):31-52.
A quick axiomatisation of LTL with past.Martin Lange - 2005 - Mathematical Logic Quarterly 51 (1):83-88.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
A computational framework for institutional agency.Guido Governatori & Antonino Rotolo - 2008 - Artificial Intelligence and Law 16 (1):25-52.
Toward a framework for agency, inevitability, praise and blame.Paul McNamara - 2000 - Nordic Journal of Philosophical Logic 5 (2):135-159.
An Axiomatisation of the Conditionals of Post's Many Valued Logics.Stan J. Surma - 1995 - Mathematical Logic Quarterly 41 (3):369-372.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Axiomatising first-order temporal logic: Until and since over linear time.Mark Reynolds - 1996 - Studia Logica 57 (2-3):279 - 302.
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.Erica Calardo & Vladimir Rybakov - 2007 - Logic Journal of the IGPL 15 (3):239-254.
Absolute probability functions for intuitionistic propositional logic.Peter Roeper & Hugues Leblanc - 1999 - Journal of Philosophical Logic 28 (3):223-234.
The Complete Axiomatisation of any Many‐Valued Propositional Logic.John Williamson - 1976 - Mathematical Logic Quarterly 22 (1):299-306.
A note on the axiomatisation of brouwersche modal logic.R. E. Jennings - 1981 - Journal of Philosophical Logic 10 (3):341 - 343.
An axiomatisation of quantum logic.Ian D. Clark - 1973 - Journal of Symbolic Logic 38 (3):389-392.

Analytics

Added to PP
2009-01-28

Downloads
69 (#235,877)

6 months
7 (#420,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Logics for modelling collective attitudes.Daniele Porello - 2018 - Fundamenta Informaticae 158 (1-3):239-27.
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.
Modes of Adjointness.M. Menni & C. Smith - 2013 - Journal of Philosophical Logic (2-3):1-27.

View all 13 citations / Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Will, Freedom, and Power.Anthony Kenny - 1975 - New York: Blackwell.
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.

View all 18 references / Add more references