
This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.
| Title | A cut free tableau calculus for the logic of common knowledge |
| Publication Type | Manuscript |
| Year of Publication | 2006 |
| Authors | Abate P, Gore R |
| URL | papers-download/lck.pdf |
Recent comments
1 week 5 days ago
2 weeks 3 days ago
4 weeks 1 hour ago
7 weeks 2 days ago
15 weeks 11 hours ago
15 weeks 3 days ago
15 weeks 6 days ago
15 weeks 6 days ago
16 weeks 1 hour ago
16 weeks 1 hour ago