scientific article
From MaRDI portal
Publication:4026930
zbMath0774.03004MaRDI QIDQ4026930
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Beth propertyCraig interpolation propertypropositional logicsBeth definability theoremclassical modal logics
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)
Related Items (4)
A note on the interpolation property in tense logic ⋮ The Beth property in algebraic logic ⋮ Sequent calculi for global modal consequence relations ⋮ Intuitionistic logic and implicit definability
This page was built for publication:
