Combinatorial proofs form a syntax-independent presentation of proofs, originally proposed
by Hughes for classical propositional logic. In this paper we present a notion of …

This paper presents a justification counterpart for dyadic deontic logic, which is often argued
to be better than Standard Deontic Logic at representing conditional and contrary-to-duty …

In this paper we investigate the Curry-Howard correspondence for constructive modal logic
in light of the gap between the proof equivalences enforced by the lambda calculi from the …

Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic
cannot provide an appropriate formalization of deontic situations. To overcome this issue …

Logic, Language, Information, and Computation Page 1 Helle Hvid Hansen Andre Scedrov
Ruy JGB de Queiroz (Eds.) LNCS 13923 Logic, Language, Information, and Computation 29th …

This thesis consists of two main chapters which connect two areas of deontic logic and
justification logic. Deontic logic is logic of normative concepts, where the deontic reading of …