A syntactic approach to unification in transitive reflexive modal logics
From MaRDI portal
Publication:286704
DOI10.1215/00294527-345997zbMath1436.03133OpenAlexW2330722544MaRDI QIDQ286704
Publication date: 25 May 2016
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1455030206
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
On rules ⋮ Almost structural completeness; an algebraic approach ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification in pretabular extensions of S4
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On rules
- Intermediate logics and Visser's rules
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Complexity of admissible rules
- Proof theory for admissible rules
- Structural completeness in fuzzy logics
- Admissibility of logical inference rules
- Best solving modal equations
- On the structural completeness of some pure implicational propositional calculi
- On the admissible rules of intuitionistic propositional logic
- Unification in modal and description logics
- Projective unification in modal logic
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- UNIFICATION IN INTERMEDIATE LOGICS
- Structural Completeness in Substructural Logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Unification in intuitionistic logic
- Undecidability of the unification and admissibility problems for modal and description logics
- Admissible Rules of Modal Logics
This page was built for publication: A syntactic approach to unification in transitive reflexive modal logics
