A Standard Internal Calculus for Lewis’ Counterfactual Logics

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-319-24312-2_19 ◽

2015 ◽

pp. 270-286 ◽

Cited By ~ 6

Author(s):

Nicola Olivetti ◽

Gian Luca Pozzato

Download Full-text