The Caucal hierarchy: Interpretations in the (W)MSO+U logic.
Pawel ParysPublished in: Inf. Comput. (2022)
Keyphrases
- monadic second order logic
- logic programming
- regular expressions
- expressive power
- modal logic
- classical logic
- finite state
- probability theory
- computational properties
- multi valued
- automated reasoning
- lower level
- first order logic
- asynchronous circuits
- genetic algorithm
- predicate logic
- proof theory
- hierarchically organized
- higher level