The parameterized space complexity of model-checking bounded variable first-order logic.
Yijia ChenMichael ElberfeldMoritz MüllerPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- space complexity
- model checking
- first order logic
- timed automata
- temporal logic
- expressive power
- propositional logic
- theorem proving
- formal specification
- inference rules
- finite state
- knowledge representation
- arc consistency
- worst case
- probabilistic reasoning
- theorem prover
- incomplete information
- horn clauses
- set theory
- formal semantics
- pspace complete
- optimal solution
- modal logic
- data model