scientific article
From MaRDI portal
Publication:3331199
zbMath0543.03011MaRDI QIDQ3331199
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional modal logicsquantified modal logicsCraig's interpolation propertyLyndon's interpolation propertysuperintuitionistic fragments
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (2)
Through an Inference Rule, Darkly ⋮ Uniform Lyndon interpolation property in propositional modal logics
This page was built for publication:
