Giovanna Corsi

Available identifiers

zbMath Open corsi.giovannaMaRDI QIDQ1092035

List of research outcomes

Publication	Date of Publication	Type
A neutrally stable shell in a Stokes flow: a rotational Taylor's sheet	2021-10-29	Paper
A New Approach to Epistemic Logic	2020-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4630801	2019-04-23	Paper
The basis of Boole's logical calculus	2017-10-04	Paper
Free quantified epistemic logics	2014-06-19	Paper
The Logic of the Weak Excluded Middle: A Case Study of Proof-Search	2010-01-11	Paper
Intuitionistic logic freed of all metarules	2008-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4661994	2005-03-30	Paper
A unified completeness theorem for quantified modal logics	2004-03-01	Paper
Bull's theorem by the method of diagrams	2001-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4845311	1995-12-13	Paper
Quantified modal logics of positive rational numbers and some related systems	1993-12-06	Paper
Completeness theorem for Dummett's LC quantified and some of its extensions	1993-04-01	Paper
A logic characterized by the class of connected models with nested domains	1989-01-01	Paper
Directed frames	1989-01-01	Paper
A Cut‐Free Calculus For Dummett's LC Quantified	1989-01-01	Paper
Quantified Modal Logic With Rigid Terms	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5202651	1988-01-01	Paper
Weak Logics with Strict Implication	1987-01-01	Paper
Semantic trees for Dummett's logic LC	1986-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giovanna Corsi