Some compactness results for modal logic
A modal logic L is compact iff every L-consistent set of wff can be simultaneously satisfied at some point in a frame for L. L is canonical iff every theorem of L is valid on the frame of the canonical model of L. It is trivial that if L is canonical then L is compact. It is not known whether the converse holds. The author proves that the converse does hold for any logics whose frames contain no worlds with infinitely many alternatives. He then widens one of the classes of logics for which non- compactness is known, and another class of logics for which canonicity, and therefore compactness is known. He finally uses results obtained elsewhere to show that there are uncountably many canonical logics and uncountably many non compact extensions of S4 with the finite model property.
- The modal logic of \({\beta(\mathbb{N})}\)
- A non-compactness phenomenon in logics with hyperintensional predication
- A note on the issue of cohesiveness in canonical models
- scientific article; zbMATH DE number 4014676 (Why is no real title available?)
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- scientific article; zbMATH DE number 3873304 (Why is no real title available?)
- scientific article; zbMATH DE number 5640557 (Why is no real title available?)
- Logics containing K4. Part II
- Some Results and Problems in The Modal Set Theory MST
- scientific article; zbMATH DE number 4081532 (Why is no real title available?)
- scientific article; zbMATH DE number 1215474 (Why is no real title available?)
- Recursive logic frames
- Uncompactness of stit logics containing generalized refref conditionals
- Modal logics that need very large frames
This page was built for publication: Some compactness results for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823924)
