On Some Completeness Theorems in Modal Logic
From MaRDI portal
Publication:4047530
DOI10.1002/MALQ.19660120131zbMATH Open0295.02014OpenAlexW1992670332MaRDI QIDQ4047530FDOQ4047530
Authors: David Makinson 
Publication date: 1966
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19660120131
Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)
Cited In (26)
- Topological reasoning and the logic of knowledge
- Interval logics with applications to study of tense and aspect in English
- A modal proof theory for final polynomial coalgebras
- Grades of probability modality in the law of evidence
- Validity and necessity
- A nonstandard approach to the logical omniscience problem
- Amalgamation and interpolation in normal modal logics
- 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.
- Completeness of second-order propositional S4 and H in topological semantics
- 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)
