Capturing MSO with One Quantifier

DOI10.1007/978-3-319-23534-9_8zbMath1465.03045DBLPconf/birthday/DawarS15OpenAlexW2294065849WikidataQ58215439 ScholiaQ58215439MaRDI QIDQ2947170

Luc Segoufin, Anuj Dawar

Publication date: 22 September 2015

Published in: Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01223378/file/mso-oneQ.pdf

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tree acceptors and some of their applications
• Transitive closure logic, nested tree walking automata, and XPath
• Some Remarks on Generalized Spectra
• Generalized Quantifiers and Logical Reducibilities
• Logics for Unranked Trees: An Overview
• Generalized finite automata theory with an application to a decision problem of second-order logic

This page was built for publication: Capturing MSO with One Quantifier