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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,379
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- jstor.org (no proxy)
- espace.library.uq.edu.au
(no proxy) - espace.library.uq.edu.au [2] (no proxy)
- espace.library.uq.edu.au [3] (no proxy)
- espace.library.uq.edu.au [4] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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.
Seeing to It That: A Canonical Form for Agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
View all 16 references / Add more references
Citations of this work BETA
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
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.
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 )
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
