Model existence theorems for modal and intuitionistic logics

DOI10.2307/2271986zbMath0286.02060OpenAlexW2127246914MaRDI QIDQ4774043

Melvin Fitting

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271986

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99) Intermediate logics (03B55) Other model constructions (03C30)

Related Items

Existentially closed closure algebras, Embeddings of classical logic in S4, On some intuitionistic modal logics, Semantical Approach to Cut Elimination and Subformula Property in Modal Logic, Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach, Modal tableau calculi and interpolation

Cites Work

• Tableau methods of proof for modal logics
• Unnamed Item