A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs.
Ricardo CorinJerry den HartogPublished in: ICALP (2) (2006)
Keyphrases
- probabilistic logic
- natural deduction
- probability theory
- cut elimination
- logical inference
- smart card
- modal logic
- theorem proving
- learning tools
- automated reasoning
- generative model
- linear logic
- classical logic
- decision procedures
- probabilistic model
- security protocols
- proof search
- key management
- theorem prover
- logic programming
- logical framework
- game based learning
- predicate logic
- probabilistic knowledge
- conditional probabilities
- mobile learning
- sequent calculus
- learning process
- digital educational games