Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview.

Jean-Marie Le Bars

Published in: Bull. Symb. Log. (2000)

Keyphrases

higher order
classical logic
legal reasoning
high order
modal logic
automated reasoning
computational properties
case law
predicate logic
neural network
query answering
deontic logic
horizontal fragmentation
natural deduction
hessian matrix
formal theory
set theory
defeasible logic
case based reasoning