PUC-Logic embedding of Lewis' Deontic Logics

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

Intuitionistic PUC-Logic for Constructive Counterfactuals

We present the intuitionistic version of PUC-Logic. After that, we present a constructive approach to Lewis' counterfactual abstraction to show that it does not require the classical absurd rule.Comment: arXiv admin note: text overlap with arXiv:1402.153

PUC-Logic

We present a logic for Proximity-based Understanding of Conditionals (PUC-Logic) that unifies the Counterfactual and Deontic logics proposed by David Lewis. We also propose a natural deduction system (PUC-ND) associated to this new logic. This inference system is proven to be sound, complete, normalizing and decidable. The relative completeness for the $\boldsymbol{V}$ and $\boldsymbol{CO}$ logics is shown to emphasize the unified approach over the work of Lewis.Comment: 33 pages, 1 figur