Formalizing action and change in modal logic I: the frame problem
From MaRDI portal
Publication:4934812
DOI10.1093/logcom/9.5.701zbMath0941.03021OpenAlexW2013766526MaRDI QIDQ4934812
Andreas Herzig, Marcos Alexandre Castilho, Olivier Gasquet
Publication date: 30 January 2000
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e9cfc5b4f4fe953f1d1281b73deba0a5c80e368c
modal logicsemanticsframe problemreasoning about actionsdependencesemantic tableauxdecision procedureaxiomaticslogic of actions and plans
Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
Stable Models for Temporal Theories ⋮ Means-end relations and a measure of efficacy ⋮ The situation calculus: a case for modal logic ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ SLAP: specification logic of actions with probability ⋮ A logic of intention and attempt ⋮ A semantics for means-end relations ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ Metatheory of actions: beyond consistency ⋮ Regression in Modal Logic ⋮ Frame problem in dynamic logic ⋮ Conditional logic of actions and causation
Uses Software
