Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
From MaRDI portal
Publication:3457707
DOI10.1007/978-3-662-48561-3_19zbMath1471.03032OpenAlexW2294564579MaRDI QIDQ3457707
Publication date: 17 December 2015
Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_19
Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On combinations of propositional dynamic logic and doxastic modal logics
- Merging frameworks for interaction
- Propositional dynamic logic of regular programs
- A knowledge based semantics of messages
- Interactions between knowledge, action and commitment within agent dynamic logic
- Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge
- Tableau-based decision procedures for logics of strategic ability in multiagent systems
- Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
- Complete Axiomatizations for Reasoning about Knowledge and Time
- A practical decision method for propositional dynamic logic (Preliminary Report)
This page was built for publication: Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles