Counterfactual Logics and Trees
Posted: Sat Nov 08, 2014 2:19 am
Hello, just wondering if anyone has ever come across an analytic tableaux method of doing counterfactual logic à la Stalnaker or Lewis?
D'you know I had no idea but thank you for the thought.
A quick goggle has these so far,
http://projecteuclid.org/download/pdf_1 ... 1093634402
http://apcz.pl/czasopisma/index.php/LLP ... 09.006/987