Natasha Alechina's Publications

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). pdf    

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