The following pages link to Modality and quantification in S5 (Q3233201):
Displaying 26 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)
- RELATIVE-SAMENESS COUNTERPART THEORY (Q3580667) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- A note on Barcan formula (Q4586237) (← links)
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS (Q5381039) (← links)
- From Monadic Logic to PSL (Q5452203) (← 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)
