On Some Completeness Theorems in Modal Logic
From MaRDI portal
Publication:4047530
Cited in
(26)- Completeness of second-order propositional S4 and H in topological semantics
- Topological reasoning and the logic of knowledge
- Interval logics with applications to study of tense and aspect in English
- Grades of probability modality in the law of evidence
- A modal proof theory for final polynomial coalgebras
- Validity and necessity
- Amalgamation and interpolation in normal modal logics
- A nonstandard approach to the logical omniscience problem
- Belief, awareness, and limited reasoning
- Erdős Graphs Resolve Fine's Canonicity Problem
- Ceteris paribus conditionals and comparative normalcy
- A class of decidable information logics
- Alternative semantics for unawareness
- First-order indefinite and uniform neighbourhood semantics
- Two-dimensional modal logic
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Modal logic with subjunctive conditionals and dispositional predicates
- Mathematical modal logic: A view of its evolution
- Substitutional validity for modal logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- A nonstandard approach to the logical omniscience problem
- Canonical extensions and ultraproducts of polarities
- Semantics for RKt
- Logical analysis of demonic nondeterministic programs
- Characterizing the common prior assumption.
- Modeling belief in dynamic systems. I: Foundations
This page was built for publication: On Some Completeness Theorems in Modal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4047530)
