An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation

DOI10.1134/S0037446613060104zbMath1348.03018MaRDI QIDQ2436101

Yanyan Li

Publication date: 21 February 2014

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicepistemic logicaxiomatizationmultimodal logic\(n\)-canonical model

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (3)

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ On the linear logic of knowledge and time with intransitive time relation ⋮ On Linear Logic of Knowledge and Time

Cites Work

• Admissibility of logical inference rules
• Many-dimensional modal logics: theory and applications
• Complete Axiomatizations for Reasoning about Knowledge and Time
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation