Categorical and Kripke semantics for constructive S4 modal logic
Alechina, N.; Mendler, Michael; De Paiva, V; u. a. (2001): Categorical and Kripke semantics for constructive S4 modal logic, in: Laurent Fribourg, Laurent Fribourg, und Laurent Fribourg (Hrsg.), Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL Paris, France, September 10 - 13, 2001 ;proceedings, Berlin u.a., S. 292–307.
Faculty/Chair:
Author:
 ;  ;  ; 
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
Editors:
Fribourg, Laurent
Conference:
15th international workshop, CSL 2001, 10th annual conference of the EACSL, September 10 - 13, 2001 ; Paris, France
Publisher Information:
Year of publication:
2001
Pages:
Series ; Volume:
Lecture notes in computer science ; 2142
Language:
English
Type:
Conferenceobject
URI:
Activation date:
September 24, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/9774