C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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