Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach-Reference-Cited by-同舟云学术

Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach

Published:2013 Issue: Volume: Page:181-188
ISSN:0302-9743
Container-title:Automated Reasoning and Mathematics
language:
Short-container-title:

Author:

Fitelson Branden

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-36675-8_10

Reference7 articles.

1. Claessen, K., Sorensson, N.: New techniques that improve mace-style finite model finding. In: Proceedings of the CADE-19 Workshop: Model Computation—Principles, Algorithms, Applications (2003)

2. Gibbard, A.: Two recent theories of conditionals. In: Harper, W.L., Stalnaker, R., Pearce, G. (eds.) Ifs: Conditionals, Belief, Decision, Chance and Time. Reidel (1981)

3. Kalman, J.: Automated Reasoning with otter. Rinton Press (2001)

4. McCune, W.: Prover9 and mace4, http://www.cs.unm.edu/~mccune/mace4/

5. Riazanov, A., Voronkov, A.: The design and implementation of vampire. AI Communications (2002)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Gibbardian Collapse and Trivalent Conditionals;Palgrave Studies in Pragmatics, Language and Cognition;2023

2. Acceptance and Certainty, Doxastic Modals, and Indicative Conditionals;Journal of Philosophical Logic;2022-05-07

3. In the logic of certainty, ⊃ is stronger than ⇒;Thought: A Journal of Philosophy;2020-02-13

4. Triviality Results and the Relationship between Logical and Natural Languages;Mind;2018-05-19

5. The Strongest Possible Lewisian Triviality Result;Thought: A Journal of Philosophy;2015-05-21