Pages that link to "Item:Q259071"

The following pages link to Existential second-order logic and modal logic with quantified accessibility relations (Q259071):

Displaying 6 items.

• On modal logics characterized by models with relative accessibility relations. II (Q1595920) (← links)
• Existential Fixed-Point Logic as a Fragment of Second-Order Logic (Q2947165) (← links)
• 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) (← links)
• Improved Second-Order Quantifier Elimination in Modal Logic (Q3532480) (← links)
• Modal logics with relative accessibility relations (Q4632287) (← links)
• On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)