Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

DOI10.17516/1997-1397-2018-11-1-3-9OpenAlexW2771131983WikidataQ129580269 ScholiaQ129580269MaRDI QIDQ5853178

Stepan I. Bashmakov

Publication date: 18 March 2021

Published in: Journal of Siberian Federal University. Mathematics & Physics (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/jsfu585

zbMATH Keywords

unificationprojective formulastemporal modal logicground unifiernon-transitive Kripke frame

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (2)

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ Unification in pretabular extensions of S4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unification in linear temporal logic LTL
• Unification problem in Nelson's logic \(\mathbf{N4}\)
• Proof theory for admissible rules
• Admissibility of logical inference rules
• Completeness theory for propositional logics
• Projective formulas and unification in linear discrete temporal multi-agent logics
• On the admissible rules of intuitionistic propositional logic
• Unification in modal and description logics
• Projective unification in modal logic
• Blending margins: the modal logic K has nullary unification type
• Independent Bases of Admissible Rules
• Unification in intuitionistic logic
• Unification through projectivity
• Projective formulas and unification in linear temporal logic LTLU
• Undecidability of the unification and admissibility problems for modal and description logics
• Filtering unification and most general unifiers in modal logic
• Admissible Rules of Modal Logics
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

This page was built for publication: Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality