3 search results - page 1 / 1 » A modal perspective on monadic second-order alternation hier... |
132
Voted
AIML
2008
15 years 1 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
103
Voted
STACS
2001
Springer
15 years 4 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
93
Voted
ECCC
2006
15 years 8 days ago
2006
Attempts at classifying computational problems as polynomial time solvable, NP-complete, or belonging to a higher level in the polynomial hierarchy, face the difficulty of undecid...