Pages that link to "Item:Q1153891"
From MaRDI portal
The following pages link to Model theory for modal logic. III. Existence and predication (Q1153891):
Displaying 6 items.
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
- Structure by proxy, with an application to grounding (Q2695390) (← links)
- On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)