Modality and quantification in S5
From MaRDI portal
Publication:3233201
DOI10.2307/2268488zbMath0071.01002OpenAlexW2146436577MaRDI QIDQ3233201
Publication date: 1956
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268488
Related Items
The elimination of \textit{de re} formulas ⋮ A note on Barcan formula ⋮ The logic of obligation and the obligations of the logician ⋮ Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician ⋮ An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability ⋮ Global view on reactivity: switch graphs and their logics ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ Mathematical modality: an investigation in higher-order logic ⋮ Mathematical modal logic: A view of its evolution ⋮ EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS ⋮ On a derivation of the necessity of identity ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Prior, Berkeley, and the Barcan formula ⋮ Prior on the semantics of modal and tense logic ⋮ Prior and possibly not existing ⋮ RELATIVE-SAMENESS COUNTERPART THEORY ⋮ From Philosophical to Industrial Logics ⋮ From Monadic Logic to PSL ⋮ Skolem-Normalformen ⋮ Expressive Completeness for LTL With Modulo Counting and Group Quantifiers ⋮ Reasoning about knowledge of unawareness ⋮ Modal logic with subjunctive conditionals and dispositional predicates ⋮ Validity and necessity ⋮ Modal logic with names ⋮ An essay in combinatory dynamic logic ⋮ The genesis of possible worlds semantics
