PUC-Logic embedding of Lewis' Deontic Logics

Autor:	Fernandes, Ricardo Q. A., Haeusler, Edward H., Pereira, Luiz Carlos
Rok vydání:	2014
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1405.7285 Zobrazit plný text záznamu View this record from Arxiv