Modality and quantification in S5
From MaRDI portal
Cited in
(30)- Reasoning about knowledge of unawareness
- Modal logic with names
- The elimination of \textit{de re} formulas
- Mathematical modal logic: A view of its evolution
- The genesis of possible worlds semantics
- Global view on reactivity: switch graphs and their logics
- First-order rewritability of ontology-mediated queries in linear temporal logic
- Skolem-Normalformen
- Modal logic with subjunctive conditionals and dispositional predicates
- Validity and necessity
- Expressive completeness for LTL with modulo counting and group quantifiers
- Relative-sameness counterpart theory
- From Philosophical to Industrial Logics
- 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
- A note on Barcan formula
- On a derivation of the necessity of identity
- Prior, Berkeley, and the Barcan formula
- Prior on the semantics of modal and tense logic
- Prior and possibly not existing
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- From Monadic Logic to PSL
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability
- The Barcan formulas and necessary existence: the view from quarc
- Mathematical modality: an investigation in higher-order logic
- Attainable knowledge and omniscience
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- Solving quantified modal logic problems by translation to classical logics
- Saul Kripke: a portrait of the modal logician as a young man
- An essay in combinatory dynamic logic
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)
