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

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

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

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

zbMATH Keywords

unificationprojective formulastemporal modal logicground unifiernon-transitive Kripke frame

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Unification in linear temporal logic LTL
• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
• Unification in pretabular extensions of S4
• 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)