On The Maximality of Logics with Approximations.

Published in: J. Symb. Log. (2001)

Keyphrases

modal logic
expressive power
propositional calculus
efficient computation
inference rules
epistemic logic
real time
case study
bayesian networks
approximation methods
decision procedures