On Some Completeness Theorems in Modal Logic
From MaRDI portal
Publication:4047530
DOI10.1002/malq.19660120131zbMath0295.02014OpenAlexW1992670332MaRDI QIDQ4047530
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)
Related Items (26)
Belief, awareness, and limited reasoning ⋮ Ceteris paribus conditionals and comparative normalcy ⋮ Semantics for RKt ⋮ Topological reasoning and the logic of knowledge ⋮ A class of decidable information logics ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ First-order indefinite and uniform neighbourhood semantics ⋮ Interval logics with applications to study of tense and aspect in English ⋮ Substitutional validity for modal logic ⋮ Mathematical modal logic: A view of its evolution ⋮ Logical analysis of demonic nondeterministic programs ⋮ Amalgamation and interpolation in normal modal logics ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Grades of probability modality in the law of evidence ⋮ Alternative semantics for unawareness ⋮ Two-dimensional modal logic ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ A modal proof theory for final polynomial coalgebras ⋮ A nonstandard approach to the logical omniscience problem ⋮ A nonstandard approach to the logical omniscience problem ⋮ Canonical extensions and ultraproducts of polarities ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ 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 ⋮ Characterizing the common prior assumption.
This page was built for publication: On Some Completeness Theorems in Modal Logic
