Modal Logics for Cryptographic Processes.

Ulrik Frendrup Hans Hüttel Jesper Nyholm Jensen

Published in: EXPRESS (2002)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
default logic
classical logic
natural language
first order logic
smart card
situation calculus
autoepistemic logic