From Situation Calculus to Dynamic Epistemic Logic
From MaRDI portal
Publication:3006113
DOI10.1093/logcom/exq024zbMath1222.03022OpenAlexW4302511406MaRDI QIDQ3006113
Andreas Herzig, Tiago de Lima, Hans P. van Ditmarsch
Publication date: 10 June 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.archives-ouvertes.fr/hal-03464949
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (12)
Public announcements, public assignments and the complexity of their logic ⋮ Propositional quantification in logics of contingency ⋮ Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Unnamed Item ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ DEL-sequents for progression ⋮ DEL-sequents for progression ⋮ Regression and progression in stochastic domains ⋮ DEL Planning and Some Tractable Cases ⋮ Incorporating Action Models into the Situation Calculus ⋮ Dynamic Epistemic Logic as a Substructural Logic
Uses Software
This page was built for publication: From Situation Calculus to Dynamic Epistemic Logic
