On the linear logic of knowledge and time with intransitive time relation

DOI10.1134/S0037446615030209MaRDI QIDQ498248zbMATH OpenOpenAlexFDO

Authors Veta Fedorovna Yun

Publication date 28 September 2015

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

Full work available at URL https://doi.org/10.1134/s0037446615030209

zbMATH Keywords

completenessaxiomatizationKripke framemulti-modal logic

Mathematics Subject Classification ID

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

Recommendations

• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Intransitive temporal multi-agent's logic, knowledge and uncertainty, plausibility
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• Non-transitive linear temporal logic and logical knowledge operations

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Decidability of multi-modal logic LTK of linear time and knowledge

Cited in

(6)

• Non-transitive linear temporal logic and logical knowledge operations
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• On linear logic of knowledge and time
• Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK

This page was built for publication: On the linear logic of knowledge and time with intransitive time relation

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