Some kinds of modal completeness

DOI10.1007/BF00370316zbMath0459.03008MaRDI QIDQ1151886

J. F. A. K. van Benthem

Publication date: 1980

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

zbMATH Keywords

finite model propertyKripke framescanonicityfirst-order completenesscomplete modal logicfirst- order correspondencesHenkin framesultrafilter extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

The McKinsey axiom is not canonical ⋮ Topology and duality in modal logic ⋮ Varieties of complex algebras ⋮ Elementary generation and canonicity for varieties of Boolean algebras with operators ⋮ Atom structures of cylindric algebras and relation algebras ⋮ The logical study of science ⋮ Mathematical modal logic: A view of its evolution ⋮ Bounded lattice expansions ⋮ On axiomatising products of Kripke frames

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A completeness theorem in modal logic
• Some results in modal model theory
• Reduction of second‐order logic to modal logic
• Two simple incomplete modal logics
• Canonical modal logics and ultrafilter extensions
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Algebraic semantics for modal logics I
• A normal modal calculus between T and S4 without the finite model property
• The Logics Containing S 4.3

This page was built for publication: Some kinds of modal completeness