Projective unification in transitive modal logics

DOI10.1093/JIGPAL/JZY013MaRDI QIDQ5095652zbMATH OpenOpenAlexWikidataFDO

Authors Sławomir Kost

Publication date 10 August 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzy013

zbMATH Keywords

modal logicunificationcanonical modelprojective unifier

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Projective unification in modal logic
• Unification in first-order transitive modal logic
• Transparent unifiers in modal logics with self-conjugate operators
• Unification and Passive Inference Rules for Modal Logics
• Publication:4489067

Cited in

(16)

• A syntactic approach to unification in transitive reflexive modal logics
• Ideal Related Algebras and Their Logics Extended Abstract
• Unifiers in transitive modal logics for formulas with coefficients (meta-variables)
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification in first-order transitive modal logic
• Elementary unification in modal logic \(KD45\)
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Projective unification in weakly transitive and weakly symmetric modal logics
• Unification types and union splittings in intermediate logics
• About the unification types of modal logics
• Transparent unifiers in modal logics with self-conjugate operators
• Remarks on projective unifiers
• Finitary unification in locally tabular modal logics characterized
• Blending margins: the modal logic K has nullary unification type
• Modal consequence relations extending S4.3: an application of projective unification
• Projective unification in modal logic

This page was built for publication: Projective unification in transitive modal logics

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