Davide Catta

Towards a Denotational Semantics for Proofs in Constructive Modal Logic

2021 · HAL (Le Centre pour la Communication Scientifique Directe)

In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for propositional intuitionistic logic, in …