Decidability of multi-modal logic LTK of linear time and knowledge
From MaRDI portal
Recommendations
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- Combining time and knowledge, semantic approach
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
- Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
Cites work
- Admissibility of logical inference rules
- 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
- Combining time and knowledge, semantic approach
- Complete Axiomatizations for Reasoning about Knowledge and Time
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 1028830 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
Cited in
(13)- A functional approach for temporal \(\times\) modal logics
- Combining time and knowledge, semantic approach
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL
- Linear temporal logic \({\mathcal{LTL}}_K\) extended by multi-agent logic \(\text{K}_n\) with interacting agents
- 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
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
- Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
- Decidability of IF modal logic of perfect recall
- scientific article; zbMATH DE number 2236613 (Why is no real title available?)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- A logic for temporal and open information
This page was built for publication: Decidability of multi-modal logic LTK of linear time and knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4966494)
