scientific article; zbMATH DE number 1136084

MaRDI QIDQ4381395zbMATH OpenFDO

Authors Thomas Schwentick, Klaus Barthelmann

Publication date 1 April 1998

zbMATH Keywords

automata modelsduplicatorEhrenfeucht gameexistential monadic second-order logicexpressive powerfirst-order logicinexpressibilitynormal formsquantificationrelational structuresspoilerwinning strategy

Mathematics Subject Classification ID

Classical first-order logic (03B10) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• scientific article; zbMATH DE number 1375591
• Shrinking games and local formulas
• Games on Trees and Syntactical Complexity of Formulas
• Game-based notions of locality over finite models

Cited in

(8)

• Game-based notions of locality over finite models
• A logical approach to locality in pictures languages
• A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES
• scientific article; zbMATH DE number 1375591 (Why is no real title available?)
• scientific article; zbMATH DE number 1059242 (Why is no real title available?)
• A local normal form theorem for infinitary logic with unary quantifiers
• An n! lower bound on formula size
• FO logic on cellular automata orbits equals MSO logic

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 Q4381395)