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:
CoRR (2017)
Keyphrases
</>
logical framework
linear logic
higher order logic
inference rules
sufficient conditions
belief revision
epistemic logic
reasoning tasks
theorem proving
multi agent
decision making
machine learning
constraint satisfaction
probability distribution
special case
optimal solution
normative systems