Terminating Tableaux for Dynamic Epistemic Logics.

Jens Ulrik Hansen

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

modal logic
dynamic environments
epistemic logic
decision procedures
changing environment
evolutionary algorithm
expressive power
dynamically changing
modal operators
database
data mining
multiscale
inference rules
default logic
kripke models