Giovanna Corsi

Available identifiers

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
``Necessary for	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
Directed frames	1989-01-01	Paper
A Cut‐Free Calculus For Dummett's LC Quantified	1989-01-01	Paper
A logic characterized by the class of connected models with nested domains	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5202651	1988-01-01	Paper
Quantified Modal Logic With Rigid Terms	1988-01-01	Paper
Weak Logics with Strict Implication	1987-01-01	Paper
Semantic trees for Dummett's logic LC	1986-01-01	Paper

This page was built for person: Giovanna Corsi