Modal consequence relations extending S4.3: an application of projective unification

DOI10.1215/00294527-3636512MaRDI QIDQ2374393zbMATH OpenOpenAlexFDO

Authors Wojciech Dzik, Piotr Wojtylak

Publication date 15 December 2016

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1468952203

zbMATH Keywords

\(\mathbf{S4.3}\)admissible rulesconsequence relationsprojective unificationquasivarietiesstructural completeness

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Quasivarieties (08C15)

Recommendations

• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
• Projective unification in modal logic
• Projective unification in transitive modal logics
• Admissible rules for logics containing S4.3
• Unification in pretabular extensions of S4

Cited in

(9)

• Finitary unification in locally tabular modal logics characterized
• Almost structural completeness; an algebraic approach
• Projective unification in modal logic
• Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
• Ideal Related Algebras and Their Logics Extended Abstract
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Projective unification in weakly transitive and weakly symmetric modal logics
• Unification types and union splittings in intermediate logics
• Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness

This page was built for publication: Modal consequence relations extending S4.3: an application of projective unification

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