Linear step-like logic of knowledge LTK.sl
DOI10.33048/SEMI.2023.20.082MaRDI QIDQ6587464FDOQ6587464
Tatyana Yurievna Zvereva, Stepan I. Bashmakov
Publication date: 14 August 2024
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
modal logicsunificationlinear timetemporal logicsfinite model propertymulti-agent logicKripke relational semantics
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Using the Universal Modality: Gains and Questions
- Unification in intuitionistic logic
- Projective unification in modal logic
- Title not available (Why is that?)
- Unification through projectivity
- A Machine-Oriented Logic Based on the Resolution Principle
- Best unifiers in transitive modal logics
- Complete axiomatizations for reasoning about knowledge and branching time
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
- Non-transitive linear temporal logic and logical knowledge operations
- Unification in pretabular extensions of S4
- Partitioning Kripke frames of finite height
- 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)
