On interpolation in NEXT(KB.Alt(2))

DOI10.18778/0138-0680.47.3.02MaRDI QIDQ4629289zbMATH OpenOpenAlexWikidataFDO

Authors Zofia Kostrzycka

Publication date 21 March 2019

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.47.3.02

zbMATH Keywords

amalgamationinterpolationsymmetric Kripke frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 6290300 (Why is no real title available?)
• scientific article; zbMATH DE number 3368607 (Why is no real title available?)
• Interpolation in Normal Extensions of the Brouwer Logic
• Logical matrices and the amalgamation property
• Normal modal logics containing KTB with some finiteness conditions

This page was built for publication: On interpolation in NEXT(KB.Alt(2))

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