 | 2007 |
|---|
| 5 |       | Giovanna Corsi,
Gabriele Tassi:
Intuitionistic logic freed of all metarules.
J. Symb. Log. 72(4): 1204-1218 (2007) |
| 2002 |
|---|
| 4 | | Giovanna Corsi:
A Unified Completeness Theorem for Quantified Modal Logics.
J. Symb. Log. 67(4): 1483-1510 (2002) |
| 1999 |
|---|
| 3 | | Giovanna Corsi:
Bull`s Theorem by the Method of Diagrams.
Studia Logica 62(2): 163-176 (1999) |
| 1993 |
|---|
| 2 | | Giovanna Corsi:
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems.
Notre Dame Journal of Formal Logic 34(2): 263-283 (1993) |
| 1992 |
|---|
| 1 | | Giovanna Corsi:
Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions.
Studia Logica 51(2): 317-336 (1992) |
Data released under the ODC-BY 1.0 license — See also our legal information page