Pages that link to "Item:Q5960012"
From MaRDI portal
The following pages link to First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012):
Displaying 4 items.
- The genesis of hi-worlds: towards a principle-based possible world semantics (Q1758558) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704) (← links)
