On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates.
Valérie BerthéToghrul KarimovJoris NieuwveldJoël OuaknineMihir VahanwalaJames WorrellPublished in: CoRR (2024)
Keyphrases
- monadic second order logic
- quantifier free
- first order logic
- expressive power
- data complexity
- query answering
- description logics
- regular expressions
- datalog programs
- user defined
- tree automata
- quantifier elimination
- knowledge representation
- type checking
- query language
- incomplete information
- data analysis
- set theory
- rewrite systems