Regression in Modal Logic

DOI10.3166/jancl.13.165-185zbMath1185.03028OpenAlexW2163230101MaRDI QIDQ3647207

Robert Demolombe, Ivan Varzinczak, Andreas Herzig

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.13.165-185

zbMATH Keywords

modal logicregressionreasoning about actionsdependence

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

A description logic based situation calculus ⋮ The situation calculus: a case for modal logic ⋮ Comments to `Logics of public communications' ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ Alternating-Time Temporal Announcement Logic ⋮ Preferential Reasoning for Modal Logics ⋮ Metatheory of actions: beyond consistency

Cites Work

• Unnamed Item
• Semantics-Based Translation Methods for Modal Logics
• State Constraints Revisited
• Formalizing action and change in modal logic I: the frame problem

This page was built for publication: Regression in Modal Logic