A Sequent Formulation of Conditional Logic Based on Belief Change Operations
| Autor: | Peter Roeper |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Natural deduction
Logic business.industry Multimodal logic Sequent calculus Strict conditional TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES History and Philosophy of Science Philosophy of logic Sequent Artificial intelligence State (computer science) business Mathematical economics Ramsey RESET test Mathematics |
| Zdroj: | Studia Logica. 77:425-438 |
| ISSN: | 0039-3215 |
| DOI: | 10.1023/b:stud.0000039033.21918.51 |
| Popis: | Peter Gardenfors has developed a semantics for conditional logic, based on the operations of expansion and revision applied to states of information. The account amounts to a formalisation of the Ramsey test for conditionals. A conditional A > B is declared accepted in a state of information K if B is accepted in the state of information which is the result of revising K with respect to A. While Gardenfors's account takes the truth-functional part of the logic as given, the present paper proposes a semantics entirely based on epistemic states and operations on these states. The semantics is accompanied by a syntactic treatment of conditional logic which is formally similar to Gentzen's sequent formulation of natural deduction rules. Three of David Lewis's systems of conditional logic are represented. The formulations are attractive by virtue of their transparency and simplicity. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink