Unification in pretabular extensions of S4
From MaRDI portal
Publication:2239389
DOI10.1007/S11787-021-00287-0zbMath1491.03014arXiv2005.08506OpenAlexW3191856054MaRDI QIDQ2239389
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
Modal logic (including the logic of norms) (03B45) Applications of set theory (03E75) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A syntactic approach to unification in transitive reflexive modal logics
- Best unifiers in transitive modal logics
- Independent bases for admissible rules of pretabular modal logic and its extensions
- Decidability of the admissibility problem in layer-finite logics
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Discriminator varieties and symbolic computation
- Pretabular extensions of Lewis S4
- Admissibility of logical inference rules
- Best solving modal equations
- 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
- LC and Its Pretabular Relatives
- Blending margins: the modal logic K has nullary unification type
- Five critical modal systems
- Unification through projectivity
- Computer Science Logic
- A Machine-Oriented Logic Based on the Resolution Principle
- Extensions of the Lewis system S5
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
This page was built for publication: Unification in pretabular extensions of S4
