A Higher-Order Indistinguishability Logic for Cryptographic Reasoning.
David BaeldeAdrien KoutsosJoseph LallemandPublished in: LICS (2023)
Keyphrases
- higher order
- proof theory
- automated reasoning
- higher order logic
- encryption scheme
- computational properties
- deductive reasoning
- lambda calculus
- order of magnitude reasoning
- logical framework
- human reasoning
- proof theoretic
- pairwise
- reasoning engine
- probabilistic logic
- intuitionistic logic
- knowledge base
- logic programming
- causal reasoning
- modal logic
- knowledge representation
- logical rules
- high order
- knowledge representation and reasoning
- probabilistic reasoning
- natural images
- classical logic
- reasoning tasks
- smart card
- qualitative reasoning
- abductive reasoning
- logical inference
- expressive power
- theorem proving
- horn logic
- default reasoning
- markov random field
- knowledge representation formalisms
- reasoning process
- reasoning problems
- reasoning about actions
- reasoning systems
- data exchange
- proof procedure
- commonsense reasoning
- theorem prover
- description logics
- predicate logic
- legal reasoning