A modal perspective on monadic second-order alternation hierarchies

zbMATH Open1244.03067MaRDI QIDQ3085169FDOQ3085169

Authors: Antti Kuusisto 

Publication date: 30 March 2011

Recommendations

• Second-order propositional modal logic and monadic alternation hierarchies
• Expressivity of second order propositional modal logic
• Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures
• scientific article; zbMATH DE number 1136070
• The monadic quantifier alternation hierarchy over grids and graphs

zbMATH Keywords

finite model theorymonadic second-order logicalternation hierarchiessecond-order propositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (9)

• Existential second-order logic and modal logic with quantified accessibility relations
• On the logic of belief and propositional quantification
• Title not available (Why is that?)
• On the existence of a modal-logical basis for monadic second-order logic
• Second-order propositional modal logic and monadic alternation hierarchies
• What is nominalistic mereology?
• On Monadic Second-Order Theories of Multidominance Structures
• Second-order propositional modal logic: expressiveness and completeness results
• Hybrid logic meets IF modal logic

This page was built for publication: A modal perspective on monadic second-order alternation hierarchies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085169)