Model existence theorems for modal and intuitionistic logics
From MaRDI portal
(Redirected from Publication:4774043)
Cites work
Cited in
(6)- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Embeddings of classical logic in S4
- Existentially closed closure algebras
- Semantical approach to cut elimination and subformula property in modal logic
- On some intuitionistic modal logics
- Modal tableau calculi and interpolation
This page was built for publication: Model existence theorems for modal and intuitionistic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4774043)