Some kinds of modal completeness
From MaRDI portal
Publication:1151886
DOI10.1007/BF00370316zbMath0459.03008MaRDI QIDQ1151886
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
finite model propertyKripke framescanonicityfirst-order completenesscomplete modal logicfirst- order correspondencesHenkin framesultrafilter extensions
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