full screen background image

Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts

Forthcoming

2018

2017

Preliminary results