The following pages link to Modality and quantification in S5 (Q3233201):
Displaying 21 items.
- The logic of obligation and the obligations of the logician (Q395583) (← links)
- Prior's defence of Hintikka's theorem. A discussion of Prior's ``The logic of obligation and the obligations of the logician'' (Q395585) (← links)
- On a derivation of the necessity of identity (Q484964) (← links)
- Prior, Berkeley, and the Barcan formula (Q516410) (← links)
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- Prior and possibly not existing (Q516421) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Reasoning about knowledge of unawareness (Q1036579) (← links)
- Modal logic with names (Q1310624) (← links)
- The elimination of \textit{de re} formulas (Q1368754) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Skolem-Normalformen (Q2537121) (← links)
- Modal logic with subjunctive conditionals and dispositional predicates (Q2560224) (← links)
- Validity and necessity (Q2572383) (← links)
- Expressive Completeness for LTL With Modulo Counting and Group Quantifiers (Q2825418) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- Mathematical modality: an investigation in higher-order logic (Q6191140) (← links)
