1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 1 cited
PUC-Logic embedding of Lewis' Deontic Logics
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
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.
cs.LO2014★ 1 cited
Intuitionistic PUC-Logic for Constructive Counterfactuals
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
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 classic…