Categorical and Kripke semantics for constructive modal logics (2001)
By: N. Alechina, M. Mendler, V. de Paiva, and E. Ritter
Download Information
N. Alechina, M. Mendler, V. de Paiva, and E. Ritter (2001). "Categorical and Kripke semantics for constructive modal logics." Proceedings CSL'01 (pp. 292-307).
Bibtex citation
@inproceedings{Alechina//:01a,
author = "{N. Alechina and M. Mendler and V. de Paiva and E. Ritter}",
title = "{Categorical and Kripke semantics for constructive modal logics}",
booktitle = {Proceedings CSL'01},
year = "2001",
publisher = "{Springer LNCS 2142}",
pages = "292-307",
} full list