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

DOI10.18778/0138-0680.47.3.02zbMath1437.03089OpenAlexW2940590953WikidataQ128002213 ScholiaQ128002213MaRDI QIDQ4629289

Zofia Kostrzycka

Publication date: 21 March 2019

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

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

zbMATH Keywords

interpolationamalgamationsymmetric Kripke frames

Mathematics Subject Classification ID

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

Cites Work

• Logical matrices and the amalgamation property
• Interpolation in Normal Extensions of the Brouwer Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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