Intuitionistic Necessity Revisited (1996)

by G. M. Bierman , V.C.V. de Paiva
Venue:PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE
Citations:23 - 7 self