An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

DOI10.1093/JIGPAL/JZM010zbMath1134.03011OpenAlexW2161650171MaRDI QIDQ5435114

Erica Calardo, Vladimir Vladimirovich Rybakov

Publication date: 14 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm010

zbMATH Keywords

modal logictemporal logicepistemic logiccombined logicsmulti-modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (5)

Unnamed Item ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ On Linear Logic of Knowledge and Time

This page was built for publication: An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK