Giovanna Corsi

15 papers Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2018 — conf
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.
ARQNL@IJCAR
Eugenio Orlandelli, Giovanna Corsi
2017 — conf
Decidable Term-Modal Logics.
EUMAS/AT
Eugenio Orlandelli, Giovanna Corsi
2016 — conf
Sequent Calculi for Indexed Epistemic Logics.
ARQNL@IJCAR
Giovanna Corsi, Eugenio Orlandelli
2013 J jnl
Free Quantified Epistemic Logics.
Stud Logica
Giovanna Corsi, Eugenio Orlandelli
2007 J jnl
Intuitionistic logic freed of all metarules.
J. Symb. Log.
Giovanna Corsi, Gabriele Tassi
2002 J jnl
A Unified Completeness Theorem for Quantified Modal Logics.
J. Symb. Log.
Giovanna Corsi
1999 J jnl
Bull's Theorem by the Method of Diagrams.
Stud Logica
Giovanna Corsi
1993 J jnl
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems.
Notre Dame J. Formal Log.
Giovanna Corsi
1992 J jnl
Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions.
Stud Logica
Giovanna Corsi
1989 J jnl
A Cut-Free Calculus For Dummett's LC Quantified.
Math. Log. Q.
Giovanna Corsi
1989 J jnl
A logic characterized by the class of connected models with nested domains.
Stud Logica
Giovanna Corsi
1989 J jnl
Directed frames.
Arch. Math. Log.
Giovanna Corsi, Silvio Ghilardi
1988 J jnl
Quantified Modal Logic With Rigid Terms.
Math. Log. Q.
Giovanna Corsi
1987 J jnl
Weak Logics with Strict Implication.
Math. Log. Q.
Giovanna Corsi
1986 J jnl
Semantic trees for Dummett's logic
Stud Logica
Giovanna Corsi