Complete proof systems for weighted modal logic.

Kim G. Larsen Radu Mardare

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
artificial intelligence
management system
integrity constraints
classical logic
theorem prover
epistemic logic
conditional logic
nonmonotonic logics
belief revision
knowledge based systems
distributed systems
probability distribution
expert systems