A syntactic approach to unification in transitive reflexive modal logics
From MaRDI portal
Publication:286704
DOI10.1215/00294527-345997zbMATH Open1436.03133OpenAlexW2330722544MaRDI QIDQ286704FDOQ286704
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
Recommendations
- Unification in first-order transitive modal logic
- Best unifiers in transitive modal logics
- Projective unification in transitive modal logics
- Unification in modal and description logics
- Publication:4489067
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification and Passive Inference Rules for Modal Logics
- Projective unification in weakly transitive and weakly symmetric modal logics
- Unification in modal logic
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- 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 rules
- On the admissible rules of intuitionistic propositional logic
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- UNIFICATION IN INTERMEDIATE LOGICS
- Title not available (Why is that?)
- Structural Completeness in Substructural Logics
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unification in intuitionistic logic
- Undecidability of the unification and admissibility problems for modal and description logics
- Intermediate logics and Visser's rules
- Admissible Rules of Modal Logics
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Complexity of admissible rules
- Projective unification in modal logic
- Splittings of lattices of theories and unification types
- Unification in modal and description logics
Cited In (12)
- On rules
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
- Almost structural completeness; an algebraic approach
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification in first-order transitive modal logic
- Unification in pretabular extensions of S4
- About the unification type of \(\mathbf{K}+\square \square \bot\)
- Projective unification in weakly transitive and weakly symmetric modal logics
- About the unification types of modal logics
- Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
- Finitary unification in locally tabular modal logics characterized
- UNIFICATION IN INTERMEDIATE LOGICS
This page was built for publication: A syntactic approach to unification in transitive reflexive modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q286704)
