Pages that link to "Item:Q466445"

The following pages link to Second-order propositional modal logic and monadic alternation hierarchies (Q466445):

Displaying 23 items.

• Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
• Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic (Q1105584) (← links)
• Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
• Logical laws for existential monadic second-order sentences with infinite first-order parts (Q1707156) (← links)
• Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
• Arity and alternation in second-order logic (Q1919768) (← links)
• The expressive power of second-order propositional modal logic (Q1924326) (← links)
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
• On the logic of belief and propositional quantification (Q2240550) (← links)
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
• Expressivity of second order propositional modal logic (Q2499295) (← links)
• Asymptotic Monadic Second-Order Logic (Q2922005) (← links)
• Monadic Second-Order Logic with Arbitrary Monadic Predicates (Q2922023) (← 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)
• Pedagogical Second-order Propositional Calculi (Q3520242) (← links)
• Improved Second-Order Quantifier Elimination in Modal Logic (Q3532480) (← links)
• Representability in second-order propositional poly-modal logic (Q4779649) (← links)
• On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)
• Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997) (← links)
• (Q4993769) (← links)
• (Q5101338) (← links)
• Automated Reasoning with Analytic Tableaux and Related Methods (Q5187871) (← links)
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)