|
7
|
On a Modal \lambda-Calculus for S4*
– F. Pfenning, H. C. Wong
- 1995
|
|
10
|
Natural Deduction for Non-Classical Logics
– David Basin, Sean Matthews, Luca Vigano
- 1996
|
|
36
|
Substructural Logics on Display
– Rajeev Goré
- 1998
|
|
5
|
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity
– P. Mateus, A. Sernadas, C. Sernadas, L. Vigano
- 2003
|
|
88
|
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
|
|
|
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
|
|
203
|
Categorial Type Logics
– Michael Moortgat
- 1997
|
|
11
|
Intuitionistic Logic Redisplayed
– Rajeev Goré
- 1995
|
|
23
|
Intuitionistic Necessity Revisited
– G. M. Bierman, V.C.V. de Paiva
- 1996
|
|
14
|
On an Intuitionistic Modal Logic
– G M Bierman, V C V de Paiva
- 2001
|
|
4
|
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
|
|
23
|
A systematic proof theory for several modal logics
– Charles Stewart
- 2005
|
|
2
|
The theory of calculi with explicit substitutions revisited
– Delia Kesner
- 2007
|
|
|
Combinatory Logics for Lambda Calculi with Patterns
– Gabriela Steren, Ariel Arbiser
|
