On Logics with Two Variables.

Erich Grädel Martin Otto

Published in: Theor. Comput. Sci. (1999)

Keyphrases

modal logic
expressive power
variable selection
propositional variables
real time
inference rules
probability distribution
conditional probabilities
neural network
artificial intelligence
case study
search algorithm
temporal logic
independent variables
propositional calculus