Giovanna Corsi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2018

Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting TermsEugenio Orlandelli, Giovanna Corsi. cade 2018: 64-78 [doi]

2017

Decidable Term-Modal LogicsEugenio Orlandelli, Giovanna Corsi. eumas 2018: 147-162 [doi]

2016

Sequent Calculi for Indexed Epistemic LogicsGiovanna Corsi, Eugenio Orlandelli. cade 2016: 21-35 [doi]

2013

Free Quantified Epistemic LogicsGiovanna Corsi, Eugenio Orlandelli. sLogica, 101(6):1159-1183, 2013. [doi]

2007

Intuitionistic logic freed of all metarulesGiovanna Corsi, Gabriele Tassi. JSYML, 72(4):1204-1218, 2007. [doi]

2002

A Unified Completeness Theorem for Quantified Modal LogicsGiovanna Corsi. JSYML, 67(4):1483-1510, 2002.

1999

Bull s Theorem by the Method of DiagramsGiovanna Corsi. sLogica, 62(2):163-176, 1999.

1993

Quantified Modal Logics of Positive Rational Numbers and Some Related SystemsGiovanna Corsi. ndjfl, 34(2):263-283, 1993.

1992

Completeness Theorem for Dummett s LC Quantified and Some of Its ExtensionsGiovanna Corsi. sLogica, 51(2):317-336, 1992.

1989

A Cut-Free Calculus For Dummett's LC QuantifiedGiovanna Corsi. mlq, 35(4):289-301, 1989. [doi]

A logic characterized by the class of connected models with nested domainsGiovanna Corsi. sLogica, 48(1):15-22, 1989. [doi]

Directed framesGiovanna Corsi, Silvio Ghilardi. AML, 29(1):53-67, 1989. [doi]

1988

Quantified Modal Logic With Rigid TermsGiovanna Corsi. mlq, 34(3):251-259, 1988. [doi]

1987

Weak Logics with Strict ImplicationGiovanna Corsi. mlq, 33(5):389-406, 1987. [doi]

1986

LCGiovanna Corsi. sLogica, 45(2):199-206, 1986. [doi]

Sign in or sign up to see more results.

runs on WebDSL