PUC-Logic embedding of Lewis' Deontic Logics
Logic in Computer Science
2014-05-29 v1
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.
Keywords
Cite
@article{arxiv.1405.7285,
title = {PUC-Logic embedding of Lewis' Deontic Logics},
author = {Ricardo Q. A. Fernandes and Edward H. Haeusler and Luiz Carlos Pereira},
journal= {arXiv preprint arXiv:1405.7285},
year = {2014}
}