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