Giovanna Corsi

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 3

Top Topics

Epistemic Logic

Cut Elimination

Sequent Calculi

Socio Cognitive

Top Venues

Publications

Eugenio Orlandelli, Giovanna Corsi
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. ARQNL@IJCAR (2018)
Eugenio Orlandelli, Giovanna Corsi
Decidable Term-Modal Logics. EUMAS/AT (2017)
Giovanna Corsi, Eugenio Orlandelli
Sequent Calculi for Indexed Epistemic Logics. ARQNL@IJCAR (2016)
Giovanna Corsi, Eugenio Orlandelli
Free Quantified Epistemic Logics. Stud Logica 101 (6) (2013)
Giovanna Corsi, Gabriele Tassi
Intuitionistic logic freed of all metarules. J. Symb. Log. 72 (4) (2007)
Giovanna Corsi
A Unified Completeness Theorem for Quantified Modal Logics. J. Symb. Log. 67 (4) (2002)
Giovanna Corsi
Bull's Theorem by the Method of Diagrams. Stud Logica 62 (2) (1999)
Giovanna Corsi
Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. Notre Dame J. Formal Log. 34 (2) (1993)
Giovanna Corsi
Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions. Stud Logica 51 (2) (1992)
Giovanna Corsi
A Cut-Free Calculus For Dummett's LC Quantified. Math. Log. Q. 35 (4) (1989)
Giovanna Corsi, Silvio Ghilardi
Directed frames. Arch. Math. Log. 29 (1) (1989)
Giovanna Corsi
A logic characterized by the class of connected models with nested domains. Stud Logica 48 (1) (1989)
Giovanna Corsi
Quantified Modal Logic With Rigid Terms. Math. Log. Q. 34 (3) (1988)
Giovanna Corsi
Weak Logics with Strict Implication. Math. Log. Q. 33 (5) (1987)
Giovanna Corsi
. Stud Logica 45 (2) (1986)