PUC-Logic embedding of Lewis' Deontic Logics
arXiv:1405.7285
Abstract
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic logic and showing its relative completeness.
arXiv:1405.7285
We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic logic and showing its relative completeness.