On the linear logic of knowledge and time with intransitive time relation
From MaRDI portal
Publication:498248
DOI10.1134/S0037446615030209zbMATH Open1328.03016OpenAlexW2258179368MaRDI QIDQ498248FDOQ498248
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
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
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)
Cites Work
Cited In (6)
- Non-transitive linear temporal logic and logical knowledge operations
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- On linear logic of knowledge and time
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
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)
