PUC-Logic embedding of Lewis' Deontic Logics

TL;DR

This paper introduces an embedding of Lewis' Deontic Logics into PUC-Logic, demonstrating how basic $oldsymbol{CO}$ logic can be represented and establishing its relative completeness.

Contribution

It provides a novel embedding of Lewis' Deontic Logics into PUC-Logic and proves the relative completeness of the basic $oldsymbol{CO}$ logic within this framework.

Findings

Successful embedding of Lewis' Deontic Logics in PUC-Logic

Representation of basic $oldsymbol{CO}$ logic within the framework

Proof of relative completeness for the embedded logic

Abstract

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.