Interpolation in Normal Extensions of the Brouwer Logic

DOI10.18778/0138-0680.45.3.4.03zbMath1423.03059OpenAlexW2734370888MaRDI QIDQ4593255

Zofia Kostrzycka

Publication date: 22 November 2017

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

zbMATH Keywords

Kripke framesamalgamation propertyinterpolation propertynormal extensions of the Brouwer logics

Mathematics Subject Classification ID

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

Related Items (1)

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

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