Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge

From MaRDI portal

Revision as of 20:15, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2936232

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2936232&oldid=15917583"