A syntactic approach to unification in transitive reflexive modal logics

DOI10.1215/00294527-345997MaRDI QIDQ286704zbMATH OpenOpenAlexFDO

Authors Rosalie Iemhoff

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, https://semanticscholar.org/paper/e026ef5a9fd6b0b86715c474e3c2aac893a6d377

zbMATH Keywords

admissible rulesfragmentsmodal logicunification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

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
• scientific article; zbMATH DE number 1471983
• 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)

Cites work

• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 3557746 (Why is no real title available?)
• scientific article; zbMATH DE number 3557753 (Why is no real title available?)
• A Resolution/Tableaux Algorithm for Projective Approximations in IPC
• Admissibility of logical inference rules
• Admissible Rules of Modal Logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Best solving modal equations
• Complexity of admissible rules
• Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
• Intermediate logics and Visser's rules
• On rules
• On the admissible rules of intuitionistic propositional logic
• On the structural completeness of some pure implicational propositional calculi
• Projective unification in modal logic
• Proof theory for admissible rules
• Splittings of lattices of theories and unification types
• Structural Completeness in Substructural Logics
• Structural completeness in fuzzy logics
• UNIFICATION IN INTERMEDIATE LOGICS
• Undecidability of the unification and admissibility problems for modal and description logics
• Unification in intuitionistic logic
• Unification in modal and description logics
• Unification, finite duality and projectivity in varieties of Heyting algebras

Cited in

(13)

• On rules
• Almost structural completeness; an algebraic approach
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Unification in pretabular extensions of S4
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification in first-order transitive modal logic
• 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
• Projective relative unification through duality

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)