Pages that link to "Item:Q792997"
From MaRDI portal
The following pages link to Some theorems on the expressive limitations of modal languages (Q792997):
Displaying 22 items.
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- In the mood (Q704041) (← links)
- Axioms for actuality (Q792998) (← links)
- On modal logics which enrich first-order S5 (Q801894) (← links)
- Modality, invariance, and logical truth (Q1097254) (← links)
- Four modal modelings (Q1099160) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Higher-order contingentism. III: Expressive limitations (Q1670490) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- Ontology-free modal semantics (Q1815412) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- `Now' and `then' in tense logic (Q2271188) (← links)
- Still in the mood: the versatility of subjunctive markers in modal logic (Q2288265) (← links)
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics (Q2352453) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- Varying modal theories (Q2639843) (← links)
- Completeness results for some two-dimensional logics of actuality (Q2890696) (← links)
- On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704) (← links)
- Construction of Truth Predicates: Approximation Versus Revision (Q4254566) (← links)
- INDISPENSABILITY ARGUMENTS AND INSTRUMENTAL NOMINALISM (Q4899966) (← links)
- Not Everything is Possible (Q5435113) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
