A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

by Frank Pfenning , Rowan Davies
Venue:Mathematical Structures in Computer Science
Citations:160 - 38 self

Active Bibliography

1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
23 Categorical and Kripke Semantics for Constructive S4 Modal Logic – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
7 Categorical and Kripke Semantics for Constructive Modal Logics – Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter - 2001
A Logical View of Effects – Sungwoo Park , Robert Harper
73 A concurrent logical framework I: Judgments and properties – Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker - 2003
1 On the Logical Content of Computational Type Theory: A Solution to Curry's Problem – Matt Fairtlough, Michael Mendler - 2002
1 Linear Logic – Frank Pfenning - 1998
15 Reducibility and ⊤⊤-lifting for computation types – Sam Lindley, Ian Stark - 2005
10 A Monadic Probabilistic Language – Sungwoo Park, Frank Pfenning, Sebastian Thrun - 2003
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
3 Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics – Natasha Alechina, Valeria de Paiva, Eike Ritter - 1998
11 Natural Deduction for Non-Classical Logics – David Basin, Sean Matthews, Luca Vigano - 1996
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
14 A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax – Amy Felty, Alberto Momigliano - 2010
12 Reasoning about the consequences of authorization policies in a linear epistemic logic – Henry DeYoung, Frank Pfenning - 2009
Contents 1 Intuitionistic Linear Logic 2 – Kaustuv Chaudhuri, Jeremy Avigad, Stephen Brookes, Sequent Calculus - 2006