Login / Signup
A Logic for SDSI's Linked Local Name Spaces.
Joseph Y. Halpern
Ron van der Meyden
Published in:
J. Comput. Secur. (2001)
Keyphrases
</>
multi valued
classical logic
logic programming
modal logic
logical framework
predicate logic
asynchronous circuits
proof theory
automated reasoning
defeasible logic
natural deduction