Some kinds of modal completeness

DOI10.1007/BF00370316MaRDI QIDQ1151886zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

canonicitycomplete modal logicfinite model propertyfirst- order correspondencesfirst-order completenessHenkin framesKripke framesultrafilter extensions

Mathematics Subject Classification ID

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

Cites work

• A completeness theorem in modal logic
• A normal modal calculus between T and S4 without the finite model property
• Algebraic semantics for modal logics I
• An incomplete logic containing S4
• An incompleteness theorem in modal logic
• Canonical modal logics and ultrafilter extensions
• scientific article; zbMATH DE number 3131078 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• Reduction of second‐order logic to modal logic
• Some results in modal model theory
• The Logics Containing S 4.3
• Two simple incomplete modal logics

Cited in

(9)

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

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

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