Categorical and Kripke semantics for constructive S4 modal logic





Professorship/Faculty: Foundations of Computer Science  
Authors: Mendler, Michael
Responsibility: Alechina, N. ; Mendler, Michael ; de Paiva, V. ; Ritter, E.
Title of the compilation: Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ;proceedings / Laurent Fribourg (ed.). - Berlin u.a., 2001. - ( Lecture notes in computer science ; 2142). - S. 292 - 307
Year of publication: 2001
Language(s): English
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/9774
Release Date: 24. September 2014