Undecidability results on two-variable logics.

Erich Grädel Martin Otto Eric Rosen

Published in: Arch. Math. Log. (1999)

Keyphrases

expressive power
modal logic
inference rules
probabilistic planning
database
real time
databases
machine learning
case study
decision procedures
propositional calculus