On Some Completeness Theorems in Modal Logic
From MaRDI portal
Cited in
(27)- Belief, awareness, and limited reasoning
- A class of decidable information logics
- First-order indefinite and uniform neighbourhood semantics
- Interval logics with applications to study of tense and aspect in English
- Amalgamation and interpolation in normal modal logics
- A guide to completeness and complexity for modal logics of knowledge and belief
- Modeling belief in dynamic systems. I: Foundations
- Mathematical modal logic: A view of its evolution
- Canonical extensions and ultraproducts of polarities
- Characterizing the common prior assumption.
- Topological reasoning and the logic of knowledge
- A modal proof theory for final polynomial coalgebras
- Modal logic with subjunctive conditionals and dispositional predicates
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Validity and necessity
- Erdős Graphs Resolve Fine's Canonicity Problem
- Completeness of second-order propositional S4 and H in topological semantics
- Semantics for RKt
- Two-dimensional modal logic
- A nonstandard approach to the logical omniscience problem
- A nonstandard approach to the logical omniscience problem
- Substitutional validity for modal logic
- Logical analysis of demonic nondeterministic programs
- Alternative semantics for unawareness
- Saul Kripke: a portrait of the modal logician as a young man
- Ceteris paribus conditionals and comparative normalcy
- Grades of probability modality in the law of evidence
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)
