Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

DOI10.18778/0138-0680.2022.16MaRDI QIDQ6200449OpenAlexWikidataFDO

Authors Stepan I. Bashmakov

Publication date 29 February 2024

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.18778/0138-0680.2022.16

zbMATH Keywords

multi-agent systemmodal logicunificationfinite model propertyuniversal modality\(p\)-morphismnon-transitive timeKripke semanticstep-like

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) Nonstandard models in mathematics (03H05)

Cites work

• scientific article; zbMATH DE number 2015264 (Why is no real title available?)
• scientific article; zbMATH DE number 1471983 (Why is no real title available?)
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Best unifiers in transitive modal logics
• Combinations of modal logics
• Completeness theory for propositional logics
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• Polymodal logic of the class of inductive linear time frames
• Quantificational modal logic with sequential Kripke semantics
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• 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

Cited in

(1)

• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)

This page was built for publication: Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6200449)