Stefano Pesce

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Inheritance Reasoning

Sequent Calculus

Top Venues

J. Log. Comput.

Publications

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32 (2) (2022)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC (2020)