Categorical and Kripke Semantics for Constructive S4 Modal Logic (2001)

by Natasha Alechina , Michael Mendler , Valeria De Paiva , Eike Ritter
Venue:In International Workshop on Computer Science Logic, CSL’01, L. Fribourg, Ed. Lecture Notes in Computer Science
Citations:23 - 1 self