An Intuitionistic Linear Logical Semantics of SAND Attack Trees.
Harley Eades IIIPublished in: CoRR (2018)
Keyphrases
- logical framework
- logical properties
- abstract argumentation
- decision trees
- logical language
- dynamic logic
- model theoretic
- linear logic
- logic programming
- logical rules
- formal semantics
- belief revision
- fuzzy set theory
- logical theories
- predicate calculus
- logical structure
- interval valued
- operational semantics
- linear systems
- default reasoning
- theorem prover
- conceptual model
- semantic information