Pages that link to "Item:Q3185766"
From MaRDI portal
Displaying 4 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- A MONADIC APPROACH TO THE MODAL THEORY (Q3818372) (← links)