Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
DOI10.33048/SEMI.2023.20.082MaRDI QIDQ6587464
Tatyana Yurievna Zvereva, Stepan I. Bashmakov
Publication date: 14 August 2024
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
unificationfinite model propertylinear timemodal logicstemporal logicsmulti-agent logicKripke relational semantics
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Best unifiers in transitive modal logics
- Complete axiomatizations for reasoning about knowledge and branching time
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Unification in pretabular extensions of S4
- Non-transitive linear temporal logic and logical knowledge operations
- Projective unification in modal logic
- Using the Universal Modality: Gains and Questions
- Unification in intuitionistic logic
- Unification through projectivity
- Partitioning Kripke frames of finite height
- A Machine-Oriented Logic Based on the Resolution Principle
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
This page was built for publication: Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587464)
