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

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
Keywords 440106 Logic  modal logic   action   possibble world semantics   Kripke semantics   neighbourhood semantics   selection function semantics   logic of action  280213 Other Artificial Intelligence  230101 Mathematical Logic, Set Theory, Lattices And Combinatorics  440114 Philosophy of Action
Categories (categorize this paper)
Reprint years 2004, 2005
DOI 10.1007/s10992-004-6368-1
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Impossible Possible Worlds Vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.

View all 16 references / Add more references

Citations of this work BETA

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.
Quantification in Some Non-Normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.

View all 12 citations / Add more citations

Similar books and articles

The Modal Logic of Agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.
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.
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 index
2009-01-28

Total views
56 ( #204,845 of 2,519,650 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,650 )

How can I increase my downloads?

Downloads

My notes