Linear step-like logic of knowledge LTK.sl

DOI10.33048/SEMI.2023.20.082MaRDI QIDQ6587464zbMATH OpenFDO

Authors Stepan I. Bashmakov, Tatyana Yurievna Zvereva

Publication date 14 August 2024

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

modal logicsunificationlinear timetemporal logicsfinite model propertymulti-agent logicKripke relational semantics

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Best unifiers in transitive modal logics
• Complete axiomatizations for reasoning about knowledge and branching time
• Non-transitive linear temporal logic and logical knowledge operations
• Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms
• Partitioning Kripke frames of finite height
• Projective unification in modal logic
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Unification in intuitionistic logic
• Unification in pretabular extensions of S4
• Unification through projectivity
• Using the Universal Modality: Gains and Questions

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)