Projective unification in modal logic

DOI10.1093/jigpal/jzr028zbMath1260.03041OpenAlexW2154755287MaRDI QIDQ2903753

Piotr Wojtylak, Wojciech Dzik

Publication date: 1 August 2012

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

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

zbMATH Keywords

unificationmodal logicsstructural completenessprojective unifier

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (15)

Almost structural completeness; an algebraic approach ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Unification in pretabular extensions of S4 ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

This page was built for publication: Projective unification in modal logic