Complexity Results for First-Order Two-Variable Logic with Counting.

Leszek Pacholski Wieslaw Szwast Lidia Tendera

Published in: SIAM J. Comput. (2000)

Keyphrases

modal logic
predicate calculus
worst case
higher order
first order logic
linear temporal logic
logic programming
horn clauses
np hard
general logic programs
computational complexity
theorem prover
probabilistic logic
conditional logic