Pages that link to "Item:Q1233866"
From MaRDI portal
The following pages link to Expressive completeness in modal language (Q1233866):
Displayed 18 items.
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- Some limitations to the psychological orientation in semantic theory (Q626497) (← links)
- In the mood (Q704041) (← links)
- The logic of counterpart theory with actuality (Q742471) (← links)
- Possible worlds for modal primitivists (Q742478) (← links)
- Some theorems on the expressive limitations of modal languages (Q792997) (← links)
- Physicalism, instrumentalism and the semantics of modal logic (Q1050331) (← 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)
- Actuality in propositional modal logic (Q2377050) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704) (← links)
- THE LOGIC OF SEQUENCE FRAMES (Q5065138) (← links)
- Completeness and decidability results for some propositional modal logics containing ``actually'' operators (Q5935787) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)