Login / Signup
A Logic for SDSI's Linked Local Name Spaces
Joseph Y. Halpern
Ron van der Meyden
Published in:
CoRR (2000)
Keyphrases
</>
modal logic
logic programming
public key
automated reasoning
deontic logic
real time
machine learning
probability theory
probabilistic logic
classical logic
formal theory