Pages that link to "Item:Q302173"
From MaRDI portal
The following pages link to Expressive power of ``now'' and ``then'' operators (Q302173):
Displayed 5 items.
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- The problem of cross-world predication (Q2410889) (← links)
- On the Expressivity of First-Order Modal Logic with “Actually” (Q3457704) (← links)
- Logic talk (Q6180153) (← links)