Original language | English |
---|---|
Publication status | Published - 1 Jan 2001 |
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/Preprint › Working paper