Login / Signup
Quentin Vitalis
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Causal Reasoning
Sequent Calculi
Hardware Implementation
Proof Theory
Top Venues
TABLEAUX
</>
Publications
</>
Marianna Girlando
,
Björn Lellmann
,
Nicola Olivetti
,
Gian Luca Pozzato
,
Quentin Vitalis
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.
TABLEAUX
(2017)