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 |
Document Versions
| Intuitionistic Necessity Revisited –G. M. Bierman, V.C.V. de Paiva — 1996 — PROCEEDINGS OF THE LOGIC AT WORK CONFERENCE |
| Intuitionistic Necessity Revisited –G.M. Bierman, V.C.V. de Paiva — 1996 — Proceedings of the Logic at Work Conference |
