A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem.
Heiko VoglerManfred DrosteLuisa HerrmannPublished in: LATA (2016)
Keyphrases
- intuitionistic logic
- monadic second order logic
- data storage
- classical logic
- logic programming
- regular expressions
- storage requirements
- data complexity
- natural deduction
- predicate logic
- multi valued
- storage and retrieval
- weighted sum
- information gain
- modal logic
- automated reasoning
- logical framework
- storage space
- defeasible logic
- tree automata
- proof theory
- expressive power
- pattern matching