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_8zbMath1303.03037OpenAlexW202583614MaRDI QIDQ2936232

Mai Ajspur, Valentin F. 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

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) Complexity of computation (including implicit computational complexity) (03D15) Temporal logic (03B44)

Related Items (1)

Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

This page was built for publication: Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge