Order-Theoretic, Geometric and Combinatorial Models of Intuitionistic S4 Proofs (1999)

by Jean Goubault-Larrecq , Eric Goubault
Venue:IN INTUITIONISTIC MODAL LOGICS AND APPLICATIONS (IMLA’99)
Citations:7 - 3 self