Computer Science Technical Reports 2001: Categorical and Kripke Semantics for Constructive S4 Modal Logic

Natasha Alechina, M Mendler, V De Pavia, Eike Ritter

Research output: Working paper/PreprintWorking paper

Original languageEnglish
Publication statusPublished - 1 Jan 2001

Cite this