Intensionality of modal logic for Robust Ambient Calculus.

Taolue Chen Tingting Han Jian Lu

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

Keyphrases

modal logic
temporal logic
decision procedures
sequent calculus
inference rules
nonmonotonic logics
conditional logic
default logic
epistemic logic
classical logic
artificial intelligence
model checking
autoepistemic logic
dynamic logic
explanation based generalization
modal operators
bayesian networks