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

DOI10.1007/978-3-642-36675-8_10zbMath1383.03011OpenAlexW24636245MaRDI QIDQ4913867

Branden Fitelson

Publication date: 16 April 2013

Published in: Automated Reasoning and Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36675-8_10

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

On First-Order Model-Based Reasoning ⋮ Acceptance and certainty, doxastic modals, and indicative conditionals

Uses Software

• Prover9
• Mace4
• Unnamed Item
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Automating the search for elegant proofs
• Solving open questions and other challenge problems using proof sketches

This page was built for publication: Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach