A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version).
Ricardo CorinJerry den HartogPublished in: IACR Cryptol. ePrint Arch. (2005)
Keyphrases
- probabilistic logic
- natural deduction
- probability theory
- cut elimination
- sequent calculus
- smart card
- proof search
- logical inference
- predicate logic
- generative model
- description logics
- learning systems
- logic programming
- classical logic
- automated reasoning
- bayesian networks
- theorem proving
- theorem prover
- multi valued
- probabilistic knowledge
- game based learning
- educational games
- modal logic