Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
DOI10.18778/0138-0680.2022.16OpenAlexW4295008639WikidataQ114048207 ScholiaQ114048207MaRDI QIDQ6200449
Stepan I. Bashmakov, Unnamed Author
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
modal logicunificationmulti-agent systemfinite model propertyuniversal modality\(p\)-morphismnon-transitive timeKripke semanticstep-like
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) Nonstandard models in mathematics (03H05)
Cites Work
- Unnamed Item
- Unnamed Item
- Best unifiers in transitive modal logics
- Combinations of modal logics
- Unification in pretabular extensions of S4
- Completeness theory for propositional logics
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation
- Polymodal logic of the class of inductive linear time frames
- Quantificational modal logic with sequential Kripke semantics
- Using the Universal Modality: Gains and Questions
- Unification in intuitionistic logic
- Unification through projectivity
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK
- 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
This page was built for publication: Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
