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

Active Bibliography

19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
1 A First Order Modal Logic and its Sheaf Models – Barnaby P. Hilken, David E. Rydeheard
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
1 Relational sheaves and predicate intuitionistic modal logic – Barnaby P. Hilken - 1999
88 Categorical Logic – Andrew M. Pitts - 1995
22 Linear lambda-Calculus and Categorical Models Revisited – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1992
6 On the formalization of the modal ยต-calculus in the Calculus of Inductive Constructions – Marino Miculan - 2000
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
19 A General Semantics for Evaluation Logic – Eugenio Moggi - 1994
7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
3 A monadic formalization of ML5 – Daniel R. Licata, Robert Harper - 2010
Journal of Logic and Computation Advance Access published May 29, 2012 Proof Theory Corner – unknown authors
23 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
11 Natural Deduction for Non-Classical Logics – David Basin, Sean Matthews, Luca Vigano - 1996