CSL 1995 Workshop on Computer Science Logic
 |  |
Wall of Fame | Most Viewed CSL-1995 Paper
CSL
1995
Springer
14 years 4 months ago
1995
Springer
We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more efficient decisi...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website.
Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 163 | ||
| 2 | | 105 | ||
| 3 | | 93 | ||
| 4 | | 92 | ||
| 5 | | 71 |