Normal modal model theory

DOI10.1007/BF00693269zbMath0317.02015OpenAlexW2063167657MaRDI QIDQ1221738

Kenneth A. Bowen

Publication date: 1975

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

Full work available at URL: https://doi.org/10.1007/bf00693269

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99)

Related Items (7)

Well-behaved modal logics ⋮ The elimination of \textit{de re} formulas ⋮ Interpolation in loop-free logic ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ Failures of the interpolation lemma in quantified modal logic ⋮ Craig interpolation theorem for intuitionistic logic and extensions Part III ⋮ Model theory for an extension of intuitionistic logic

Cites Work

• Ultraproducts in the theory of models
• Lectures in set theory with particular emphasis on the method of forcing
• A completeness theorem in modal logic
• Modelltheoretische Untersuchungen in der Kripke-Semantik
• Model Theory for Intuitionistic Logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normal modal model theory