A Modal Logic for Information System Security.

Yun Bai Khaled M. Khan

Published in: AISC (2011)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
dynamic logic
cooperative
prime implicates
expert systems
description logic alc