Projective unification in transitive modal logics

DOI10.1093/JIGPAL/JZY013zbMATH Open1492.03007OpenAlexW2809201413WikidataQ129798376 ScholiaQ129798376MaRDI QIDQ5095652FDOQ5095652

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

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

zbMATH Keywords

modal logicunificationcanonical modelprojective unifier

Mathematics Subject Classification ID

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

Cited In (11)

• 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
• 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
• Finitary unification in locally tabular modal logics characterized
• 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)