Almost structurally complete infinitary consequence operations extending S4.3

DOI10.1093/JIGPAL/JZV024MaRDI QIDQ4644526zbMATH OpenOpenAlexFDO

Authors Wojciech Dzik, Piotr Wojtylak

Publication date 8 January 2019

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

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

zbMATH Keywords

admissible rulealmost structural completenessfinite approximabilitymodal logicsunification

Mathematics Subject Classification ID

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

Recommendations

• Modal consequence relations extending S4.3: an application of projective unification
• Admissible rules for logics containing S4.3
• Almost structural completeness; an algebraic approach
• Projective unification in modal logic
• scientific article; zbMATH DE number 4008369

Cited in

(4)

• Modal consequence relations extending S4.3: an application of projective unification
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• scientific article; zbMATH DE number 840413 (Why is no real title available?)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

This page was built for publication: Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)

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