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

DOI10.17516/1997-1397-2018-11-1-3-9MaRDI QIDQ5853178zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1696880
• Unification in linear temporal logic LTL
• Unification in first-order transitive modal logic
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Modal and temporal extensions of non-distributive propositional logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• Unifying hyper and epistemic temporal logics
• Unification in modal logic
• On the linear logic of knowledge and time with intransitive time relation

Cites work

• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 2015264 (Why is no real title available?)
• scientific article; zbMATH DE number 1471983 (Why is no real title available?)
• Admissibility of logical inference rules
• Admissible Rules of Modal Logics
• Blending margins: the modal logic K has nullary unification type
• Completeness theory for propositional logics
• Filtering unification and most general unifiers in modal logic
• Independent Bases of Admissible Rules
• On the admissible rules of intuitionistic propositional logic
• Projective formulas and unification in linear discrete temporal multi-agent logics
• Projective formulas and unification in linear temporal logic \(\mathrm{LTL}_{U}\)
• Projective unification in modal logic
• Proof theory for admissible rules
• Undecidability of the unification and admissibility problems for modal and description logics
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• Unification in intuitionistic logic
• Unification in linear temporal logic LTL
• Unification in modal and description logics
• Unification problem in Nelson's logic \(\mathbf{N4}\)
• Unification theory
• Unification through projectivity

Cited in

(4)

• Unification in linear temporal logic LTL
• Unification in pretabular extensions of S4
• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

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

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