A Computational Interpretation of Modal Proofs (1994)

Cached

Download Links

by Simone Martini , Andrea Masini
Venue:Proof Theory of Modal Logics
Citations:28 - 2 self

Active Bibliography

7 On a Modal \lambda-Calculus for S4* – F. Pfenning, H. C. Wong - 1995
11 Natural Deduction for Non-Classical Logics – David Basin, Sean Matthews, Luca Vigano - 1996
38 Substructural Logics on Display – Rajeev GorĂ© - 1998
7 Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity – P. Mateus, A. Sernadas, C. Sernadas, L. Vigano - 2003
100 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems – Hiu Fai - 1993
11 On the Fine Structure of the Exponential Rule – Simone Martini, Andrea Masini - 1993
1 Causality, Modality, and Explanation – Graham White - 801
1 An Analysis of (Linear) Exponentials Based on Extended – Stefano Guerrini, Simone Martini, Andrea Masini, Stefano Guerrini, Simone Martini, Andrea Masini - 1997
11 Intuitionistic Logic Redisplayed – Rajeev GorĂ© - 1995
238 Categorial Type Logics – Michael Moortgat - 1997
23 Intuitionistic Necessity Revisited – G. M. Bierman, V.C.V. de Paiva - 1996
19 On an Intuitionistic Modal Logic – G M Bierman, V C V de Paiva - 2001
6 SEQUENT SYSTEMS FOR MODAL LOGICS – HEINRICH WANSING
2 A Sequent Calculus for Signed Interval Logic – Thomas Marthedal Rasmussen - 2001
7 Grafting Modalities onto substructural implication systems – Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo - 1996
24 A systematic proof theory for several modal logics – Charles Stewart - 2005
6 The theory of calculi with explicit substitutions revisited – Delia Kesner - 2007
Combinatory Logics for Lambda Calculi with Patterns – Gabriela Steren, Ariel Arbiser