## Categorical and Kripke Semantics for Constructive S4 Modal Logic (2001)

### Cached

### Download Links

- [www.cs.bham.ac.uk]
- [www.cs.nott.ac.uk]
- [www.cs.nott.ac.uk]
- [www.cs.bham.ac.uk]
- [www.cs.nott.ac.uk]
- [www.cs.bham.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Natasha Alechina
,
Michael Mendler
,
Valeria De Paiva
,
Eike Ritter

Venue: | In International Workshop on Computer Science Logic, CSL’01, L. Fribourg, Ed. Lecture Notes in Computer Science |

Citations: | 23 - 1 self |