A Logical Framework of Proof-Carrying Survivability.

Yanjun Zuo Suhas Lande

Published in: TrustCom (2011)

Keyphrases

logical framework
linear logic
higher order logic
inference rules
reasoning tasks
belief revision
theorem prover
theorem proving
possibilistic logic
epistemic logic
normative systems
higher order
decision makers
temporal reasoning