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

DOI10.18778/0138-0680.2022.16OpenAlexW4295008639WikidataQ114048207 ScholiaQ114048207MaRDI QIDQ6200449FDOQ6200449

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

• Using the Universal Modality: Gains and Questions
• Unification in intuitionistic logic
• Completeness theory for propositional logics
• Unification through projectivity
• Title not available (Why is that?)
• Best unifiers in transitive modal logics
• Combinations of modal logics
• An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Title not available (Why is that?)
• Unification in pretabular extensions of S4
• Non-unifiability in linear temporal logic of knowledge with multi-agent relations
• An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
• 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

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)