- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Regression in Modal Logic
Journal of Applied Non-Classical Logics 13 (2):165-185 (2003)
Abstract
In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.Author Profiles
My notes
Similar books and articles
Belief Change: from Situation Calculus to Modal Logic.Robert Demolombe - 2003 - Journal of Applied Non-Classical Logics 13 (2):187-198.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Paranormal modal logic–Part I: The system K? and the foundations of the Logic of skeptical and credulous plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
A Structural Property On Modal Frames Characterizing Default Logic.Gianni Amati, Luigia Aiello, Dov Gabbay & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):7-22.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Labeled sequent calculus for justification logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Analytics
Added to PP
2011-04-01
Downloads
367 (#57,792)
6 months
85 (#66,568)
2011-04-01
Downloads
367 (#57,792)
6 months
85 (#66,568)
Historical graph of downloads
Author Profiles
Citations of this work
Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.
A semantic characterization of a useful fragment of the situation calculus with knowledge.Gerhard Lakemeyer & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):142-164.
A Logic For Reasoning About Responsibility.Tiago de Lima, Lambér Royakkers & Frank Dignum - 2010 - Logic Journal of the IGPL 18 (1):99-117.
Comments to 'logics of public communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.
References found in this work
Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.Raymond Reiter - 2001 - Cambridge: Mass. : MIT Press.
Translation Methods for Non-Classical Logics: An Overview.Hans Ohlbach - 1993 - Logic Journal of the IGPL 1 (1):69-89.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-5pqs9 uwo