Session 7: Free Choice Permission and Truthmaker Semantics

In this session, Tim Forche gave an excellent presentation on the very interesting solution to the problem of Free Choice Permission based on truth-maker semantics proposed by Anglberger, Korbmacher and Faroldi in their DEON 2016 paper.

[Under construction.]

comments powered by Disqus