Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Dag Elgesem (1993). Practical Reasoning and the Dynamics of Normative Systems. In K. B. Agrawal & R. K. Raizada (eds.), Sociological Jurisprudence and Legal Philosophy: Random Thoughts On. University Book House.
Dag Elgesem (2000). The Limits of Privacy, Amitai Etzioni, New York, Basic Books, 1999. Ethics and Information Technology 2 (3):189-191.
Ryan Hediger (2009). Crossing Over : (Dis)Ability, Contingent Agency, and Death in the Marginal Genre Work of Temple Grandin and Jim Harrison. In Sarah E. McFarland & Ryan Hediger (eds.), Animals and Agency: An Interdisciplinary Exploration. Brill.
Mark A. Brown (1996). A Logic of Comparative Obligation. Studia Logica 57 (1):117 - 137.
Guido Governatori & Antonino Rotolo (2008). A Computational Framework for Institutional Agency. Artificial Intelligence and Law 16 (1):25-52.
Igor Walukiewicz (1996). A Note on the Completeness of Kozen's Axiomatisation of the Propositional Μ-Calculus. Bulletin of Symbolic Logic 2 (3):349-366.
Charles B. Cross (1986). 'Can' and the Logic of Ability. Philosophical Studies 50 (1):53-64.
Paul McNamara (2000). Toward a Framework for Agency, Inevitability, Praise and Blame. Nordic Journal of Philosophical Logic 5 (2):135-159.
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
Added to index2009-01-28
Total downloads3 ( #213,731 of 739,325 )
Recent downloads (6 months)1 ( #61,538 of 739,325 )
How can I increase my downloads?