scientific article; zbMATH DE number 1989661
From MaRDI portal
Publication:4430408
zbMath1039.03011MaRDI QIDQ4430408
Publication date: 9 October 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
amalgamationinterpretationBeth propertynormal modal logicGrzegorczik logicreflexive fragmentslice extension
Related Items (4)
Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Definability and interpolation in non-classical logics ⋮ Restricted interpolation over modal logic S4
This page was built for publication: