Categorical and Kripke Semantics for Constructive S4 Modal Logic

N Alechina, M Mendler, V de Paiva, Eike Ritter, L Fribourg

Research output: Contribution to conference (unpublished) › Paper

49 Citations (Scopus)

Original language	English
Pages	292-307
Number of pages	16
Publication status	Published - 1 Jan 2001
Event	Computer Science Logic, Proceedings of 15th International Workshop on Computer Science Logic (CSL 2001) - Duration: 1 Jan 2001 → …

Conference	Computer Science Logic, Proceedings of 15th International Workshop on Computer Science Logic (CSL 2001)
Period	1/01/01 → …

Cite this

@conference{54fd63f59c2f481985c49b07807f1b58,

title = "Categorical and Kripke Semantics for Constructive S4 Modal Logic",

author = "N Alechina and M Mendler and {de Paiva}, V and Eike Ritter and L Fribourg",

year = "2001",

month = jan,

day = "1",

language = "English",

pages = "292--307",

note = "Computer Science Logic, Proceedings of 15th International Workshop on Computer Science Logic (CSL 2001) ; Conference date: 01-01-2001",

}