On linear logic of knowledge and time
From MaRDI portal
Publication:5214743
Recommendations
- Polymodal logic of the class of inductive linear time frames
- The temporal logic of inductive frames with linear time
- On the linear logic of knowledge and time with intransitive time relation
- Decidability of multi-modal logic LTK of linear time and knowledge
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 92610 (Why is no real title available?)
- scientific article; zbMATH DE number 4114591 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Combining time and knowledge, semantic approach
- Complete Axiomatizations for Reasoning about Knowledge and Time
- Decidability of multi-modal logic LTK of linear time and knowledge
- Discrete linear temporal logic with current time point clusters, deciding algorithms
- On the linear logic of knowledge and time with intransitive time relation
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- The temporal logic of inductive frames with linear time
- The temporal logic of linear time frames with inductions axiom
This page was built for publication: On linear logic of knowledge and time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214743)