Elaine Pimentel

activity

20112024

most citedA Proof Theoretic Study of Soft Concurrent Constraint Programming

8 citations · 14 across the 14 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

cs.LO2020

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti +1

We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms $T$ , $P$ , $D$ , and, for every $n \geq 1$ , rule $R D_{n}^{+}$ . The calculi are…

cs.LO2020

Ecumenical modal logic

Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel +1

The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others…