Possible worlds semantics: a research program that cannot fail?

DOI10.1007/BF00370508zbMath0573.03005OpenAlexW2182359664MaRDI QIDQ1062670

J. F. A. K. van Benthem

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal logicpreservation theoremtruth definitionfirst-order definable filter quantifiersincomplete logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items

European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ The logic of empirical theories revisited ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system

Cites Work

• Questions about quantifiers
• The inadequacy of the neighbourhood semantics for modal logic
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Unnamed Item