Login / Signup
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.
Furio Honsell
Luigi Liquori
Petar Maksimovic
Ivan Scagnetto
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
logical framework
linear logic
higher order logic
inference rules
desirable properties
reasoning tasks
belief revision
theoretical framework
theorem prover
theorem proving
normative systems
artificial intelligence
reinforcement learning
epistemic logic