On an Intuitionistic Modal Logic (2001)

Cached

Download Links

by G M Bierman , V C V de Paiva
Venue:Studia Logica
Citations:19 - 4 self

Active Bibliography

54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996
8 A Classical Linear λ-calculus – G.M. Bierman - 1997
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
11 Natural Deduction for Non-Classical Logics – David Basin, Sean Matthews, Luca Vigano - 1996
7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
23 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
1 Call-by-name and call-by-value in normal modal logic – Yoshihiko Kakutani
10 A Categorical Analysis of Multi-Level Languages (Extended Abstract) – Zine El-abidine Benaissa, Eugenio Moggi, Walid Taha, Tim Sheard - 1999
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
Functorial boxes in string diagrams Paul-André – Equipe Preuves, Cnrs Université, Paris Denis Diderot - 2006
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
Some Notes – Jean H. Gallier, Jean Gallier, C Jean Gallier, Jean Gallier
Discrete Mathematics for Computer Science Some Notes – Jean Gallier, C Jean Gallier, Jean Gallier
61 Constructive Logics. Part I: A Tutorial on Proof Systems and Typed λ-Calculi – Jean Gallier - 1992
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
3 Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics – Natasha Alechina, Valeria de Paiva, Eike Ritter - 1998
10 Classical linear logic of implications – Masahito Hasegawa - 2002