Cited in
(30)- 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
- 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
- Saul Kripke: a portrait of the modal logician as a young man
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- 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
- On a derivation of the necessity of identity
- Attainable knowledge and omniscience
- From Philosophical to Industrial Logics
- Relative-sameness counterpart theory
- Solving quantified modal logic problems by translation to classical logics
- Modal logic with names
- The elimination of \textit{de re} formulas
- Skolem-Normalformen
- Prior, Berkeley, and the Barcan formula
- Prior and possibly not existing
- A note on Barcan formula
- 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)
