Interpolation in Normal Extensions of the Brouwer Logic

DOI10.18778/0138-0680.45.3.4.03MaRDI QIDQ4593255zbMATH OpenOpenAlexFDO

Authors Zofia Kostrzycka

Publication date 22 November 2017

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.45.3.4.03

zbMATH Keywords

amalgamation propertyinterpolation propertyKripke framesnormal extensions of the Brouwer logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited in

(4)

• Interpolation in extensions of first-order logic
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• On interpolation in NEXT(KB.Alt(2))

This page was built for publication: Interpolation in Normal Extensions of the Brouwer Logic

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