A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.
-
Published:1992-06-01
Issue:3
Volume:33
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sequent Calculi for Normal Update Logics;Logic and Its Applications;2019
2. Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC;The Australasian Journal of Logic;2018-07-16
3. A Sequent Calculus for Counterfactual Reasoning;Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security;2017-10-30
4. A Proximity-Based Understanding of Conditionals;Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV;2017
5. Standard Sequent Calculi for Lewis’ Logics of Counterfactuals;Logics in Artificial Intelligence;2016