scientific article; zbMATH DE number 1499101

MaRDI QIDQ4501155zbMATH OpenFDO

Authors Y. B. Pnueli, Johann A. Makowsky

Publication date 3 September 2000

zbMATH Keywords

expressive powersecond-order logic over finite structures

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Arity and alternation in second-order logic
• Arity and alternation: a proper hierarchy in higher order logics
• Foundations of Information and Knowledge Systems
• Arity hierarchies

Cited in

(5)

• Arity and alternation in second-order logic
• A logic-based approach to incremental reasoning on multi-agent systems
• Arity and alternation: a proper hierarchy in higher order logics
• Arity hierarchies
• Foundations of Information and Knowledge Systems

This page was built for publication:

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