Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
From MaRDI portal
Recommendations
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Linear temporal logic LTL: basis for admissible rules
- 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
- On the linear logic of knowledge and time with intransitive time relation
Cited in
(11)- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Inference in temporal next-time logic
- Inference rules in multi-agents' temporal logics
- Combining time and knowledge, semantic approach
- scientific article; zbMATH DE number 2097569 (Why is no real title available?)
- Decidability of multi-modal logic LTK of linear time and knowledge
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- On the linear logic of knowledge and time with intransitive time relation
- On linear logic of knowledge and time
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
This page was built for publication: Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5479022)
