## A systematic proof theory for several modal logics (2005)

### Cached

### Download Links

- [www.textproof.com]
- [www.linearity.org]
- [www.aiml.net]
- [www.wv.inf.tu-dresden.de]
- DBLP

### Other Repositories/Bibliography

by
Charles Stewart

Venue: | Advances in Modal Logic, volume 5 of King’s College Publications |

Citations: | 24 - 1 self |