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 13 items.
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- In the mood (Q704041) (← links)
- Axioms for actuality (Q792998) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← 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)
- The problem of cross-world predication (Q2410889) (← 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)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
