Giovanna Corsi

According to our database, Giovanna Corsi authored at least 15 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.

Eugenio Orlandelli, Giovanna Corsi

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Decidable Term-Modal Logics.

Eugenio Orlandelli, Giovanna Corsi

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2016

Sequent Calculi for Indexed Epistemic Logics.

Giovanna Corsi, Eugenio Orlandelli

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

2013

Free Quantified Epistemic Logics.

Giovanna Corsi, Eugenio Orlandelli

Stud Logica, 2013

2007

Intuitionistic logic freed of all metarules.

Giovanna Corsi, Gabriele Tassi

J. Symb. Log., 2007

2002

A Unified Completeness Theorem for Quantified Modal Logics.

Giovanna Corsi

J. Symb. Log., 2002

1999

Bull's Theorem by the Method of Diagrams.

Giovanna Corsi

Stud Logica, 1999

1993

Quantified Modal Logics of Positive Rational Numbers and Some Related Systems.

Giovanna Corsi

Notre Dame J. Formal Log., 1993

1992

Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions.

Giovanna Corsi

Stud Logica, 1992

1989

A logic characterized by the class of connected models with nested domains.

Giovanna Corsi

Stud Logica, 1989

A Cut-Free Calculus For Dummett's LC Quantified.

Giovanna Corsi

Math. Log. Q., 1989

Directed frames.

Giovanna Corsi, Silvio Ghilardi

Arch. Math. Log., 1989

1988

Quantified Modal Logic With Rigid Terms.

Giovanna Corsi

Math. Log. Q., 1988

1987

Weak Logics with Strict Implication.

Giovanna Corsi

Math. Log. Q., 1987

1986

Semantic trees for Dummett's logic <i>LC</i>.

Giovanna Corsi

Stud Logica, 1986