full screen background image

Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

2017

Preliminary results