Verification, falsification and cancellation in KT
The main result of this paper is that KT (=T) is closed under a cancellation principle (if LA is provably equivalent to LB and MA is provably equivalent to MB then A is provably equivalent to B). This result extends to KTG1, but it does not extend to modal systems associated with the provability int...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Duke University Press
1990
|
| Subjects: |