Introduction to Guarded Logics.

Published in: Automata, Logics, and Infinite Games (2001)

Keyphrases

decision procedures
expressive power
modal logic
propositional calculus
fixed point
computational properties
information retrieval
higher order
query answering
inference rules
probabilistic databases