Pages that link to "Item:Q3185766"

The following pages link to Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766):

Displayed 2 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)