Modality and quantification in S5
From MaRDI portal
Publication:3233201
DOI10.2307/2268488zbMATH Open0071.01002OpenAlexW2146436577MaRDI QIDQ3233201FDOQ3233201
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
Cited In (27)
- Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician
- The logic of obligation and the obligations of the logician
- Prior on the semantics of modal and tense logic
- RELATIVE-SAMENESS COUNTERPART THEORY
- The Barcan formulas and necessary existence: the view from quarc
- Validity and necessity
- First-order rewritability of ontology-mediated queries in linear temporal logic
- The genesis of possible worlds semantics
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- Modal logic with subjunctive conditionals and dispositional predicates
- Mathematical modal logic: A view of its evolution
- Mathematical modality: an investigation in higher-order logic
- From Monadic Logic to PSL
- Global view on reactivity: switch graphs and their logics
- An essay in combinatory dynamic logic
- Expressive completeness for LTL with modulo counting and group quantifiers
- Attainable knowledge and omniscience
- From Philosophical to Industrial Logics
- On a derivation of the necessity of identity
- Modal logic with names
- Skolem-Normalformen
- The elimination of \textit{de re} formulas
- A note on Barcan formula
- Prior, Berkeley, and the Barcan formula
- Prior and possibly not existing
- Reasoning about knowledge of unawareness
This page was built for publication: Modality and quantification in S5
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3233201)
