2000 character limit reached
PUC-Logic embedding of Lewis' Deontic Logics (1405.7285v1)
Published 21 May 2014 in cs.LO
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.