A modal perspective on monadic second-order alternation hierarchies

MaRDI QIDQ3085169zbMATH OpenFDO

Authors Antti Kuusisto

Publication date 30 March 2011

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)

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

Cited in

(9)

• What is nominalistic mereology?
• Second-order propositional modal logic and monadic alternation hierarchies
• scientific article; zbMATH DE number 1223636 (Why is no real title available?)
• Second-order propositional modal logic: expressiveness and completeness results
• On the logic of belief and propositional quantification
• On the existence of a modal-logical basis for monadic second-order logic
• Hybrid logic meets IF modal logic
• Existential second-order logic and modal logic with quantified accessibility relations
• On Monadic Second-Order Theories of Multidominance Structures

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)