Regression in Modal Logic
From MaRDI portal
Publication:3647207
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
Related Items
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