Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge

DOI10.1007/978-3-642-36039-8_8zbMATH Open1303.03037OpenAlexW202583614MaRDI QIDQ2936232FDOQ2936232

Authors: Mai Ajspur, Valentin Goranko 

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36039-8_8

Recommendations

• scientific article; zbMATH DE number 1107650
• Tableaux for logics of time and knowledge with interactions relating to synchrony
• A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
• Tableau-based decision procedures for logics of strategic ability in multiagent systems
• Taming the Complexity of Temporal Epistemic Reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (3)

• Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles
• Tableaux for logics of time and knowledge with interactions relating to synchrony
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic

This page was built for publication: Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936232)