Normal modal model theory

DOI10.1007/BF00693269MaRDI QIDQ1221738zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3304030 (Why is no real title available?)
• scientific article; zbMATH DE number 3316031 (Why is no real title available?)
• A completeness theorem in modal logic
• Lectures in set theory with particular emphasis on the method of forcing
• Model Theory for Intuitionistic Logic
• Modelltheoretische Untersuchungen in der Kripke-Semantik
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Ultraproducts in the theory of models

Cited in

(7)

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

This page was built for publication: Normal modal model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1221738)