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

DOI10.1134/S0037446615030209zbMath1328.03016OpenAlexW2258179368MaRDI QIDQ498248

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

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

Related Items (1)

On Linear Logic of Knowledge and Time

Cites Work

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

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