dblp.uni-trier.dewww.uni-trier.de

Giovanna Corsi

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)