Unification in pretabular extensions of S4

DOI10.1007/S11787-021-00287-0MaRDI QIDQ2239389zbMATH OpenOpenAlexFDO

Authors Stepan I. Bashmakov

Publication date 3 November 2021

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.08506

zbMATH Keywords

Kripke semanticsunitaryunificationfinitarypretabular logicground unifierprojective formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Applications of set theory (03E75)

Abstract: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions: PM1-PM5. In this paper, we study and systematize the problem of unification for all given pretabular logics. We showed that PM2,PM3 have finitary, and PM1,PM4,PM5 have unitary types of unification. Complete sets of unifiers in logics are described.

Recommendations

• scientific article; zbMATH DE number 2015264
• Remarks about the unification types of some locally tabular normal modal logics
• Unification types in Euclidean modal logics
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1
• Projective unification in modal logic

Cites work

• scientific article; zbMATH DE number 2015264 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• A syntactic approach to unification in transitive reflexive modal logics
• Admissibility of logical inference rules
• Bases of admissible inference rules in tabular modal logics of depth 2
• Best solving modal equations
• Best unifiers in transitive modal logics
• Blending margins: the modal logic K has nullary unification type
• Computer Science Logic
• Decidability of the admissibility problem in layer-finite logics
• Discriminator varieties and symbolic computation
• Extensions of the Lewis system S5
• Five critical modal systems
• Independent bases for admissible rules of pretabular modal logic and its extensions
• LC and its pretabular relatives
• On the admissible rules of intuitionistic propositional logic
• Pretabular extensions of Lewis S4
• Projective formulas and unification in linear discrete temporal multi-agent logics
• Projective unification in modal logic
• Remarks on projective unifiers
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Unification in modal and description logics
• Unification theory
• Unification through projectivity

Cited in

(6)

• scientific article; zbMATH DE number 2015264 (Why is no real title available?)
• scientific article; zbMATH DE number 1189062 (Why is no real title available?)
• Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
• Inference rules with metavariables and logical equations in the pretabular modal logic PM1
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• Modal consequence relations extending S4.3: an application of projective unification

This page was built for publication: Unification in pretabular extensions of S4

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