Portal de Periódicos da CAPES

VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning

2017; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-66902-1_9

1611-3349

Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis,

Advanced Algebra and Logic

We present VINTE, a theorem prover for conditional logics for counterfactual reasoning introduced by Lewis in the seventies. VINTE implements some internal calculi recently introduced for the basic system $$\mathbb {V}$$ and some of its significant extensions with axioms $$\mathbb {N}$$ , $$\mathbb {T}$$ , $$\mathbb {C}$$ , $$\mathbb {W}$$ and $$\mathbb {A}$$ . VINTE is inspired by the methodology of and it is implemented in Prolog. The paper shows some experimental results, witnessing that the performances of VINTE are promising.