Abstract | ||
---|---|---|
This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for from which it follows that a specific subset of the standard worlds-models is characteristic for . |
Year | DOI | Venue |
---|---|---|
2000 | 10.1023/A:1005208616441 | Studia Logica |
Keywords | Field | DocType |
compatibility,adaptive logic,ampliative reasoning,S5,-semantics | Computational logic,Second-order logic,Computer science,Proof calculus,Multimodal logic,Proof theory,Algorithm,Bunched logic,Predicate logic,Higher-order logic | Journal |
Volume | Issue | ISSN |
66 | 3 | 1572-8730 |
Citations | PageRank | References |
6 | 1.32 | 4 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Diderik Batens | 1 | 148 | 20.23 |
Joke Meheus | 2 | 80 | 11.00 |