Pages that link to "Item:Q2218707"
From MaRDI portal
The following pages link to On the expressive power of first-order modal logic with two-dimensional operators (Q2218707):
Displaying 7 items.
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Some theorems on the expressive limitations of modal languages (Q792997) (← links)
- On modal logics which enrich first-order S5 (Q801894) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- Still in the mood: the versatility of subjunctive markers in modal logic (Q2288265) (← links)
- (Q4735171) (← links)