Giovanna Corsi

MaRDI QIDQ1092035zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A neutrally stable shell in a Stokes flow: a rotational Taylor's sheet Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences	2021-10-29	Paper
A new approach to epistemic logic Logic, Argumentation & Reasoning	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 Studia Logica	2014-06-19	Paper
The logic of the weak excluded middle: A case study of proof-search Deduction, Computation, Experiment	2010-01-11	Paper
Intuitionistic logic freed of all metarules Journal of Symbolic Logic	2008-02-25	Paper
scientific article; zbMATH DE number 2149470 (Why is no real title available?)	2005-03-30	Paper
A unified completeness theorem for quantified modal logics Journal of Symbolic Logic	2004-03-01	Paper
Bull's theorem by the method of diagrams Studia Logica	2001-01-08	Paper
scientific article; zbMATH DE number 795162 (Why is no real title available?)	1995-12-13	Paper
Quantified modal logics of positive rational numbers and some related systems Notre Dame Journal of Formal Logic	1993-12-06	Paper
Completeness theorem for Dummett's LC quantified and some of its extensions Studia Logica	1993-04-01	Paper
Directed frames Archive for Mathematical Logic	1989-01-01	Paper
A Cut‐Free Calculus For Dummett's LC Quantified Mathematical Logic Quarterly	1989-01-01	Paper
A logic characterized by the class of connected models with nested domains Studia Logica	1989-01-01	Paper
scientific article; zbMATH DE number 4195933 (Why is no real title available?)	1988-01-01	Paper
Quantified Modal Logic With Rigid Terms Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1988-01-01	Paper
Weak Logics with Strict Implication Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1987-01-01	Paper
Semantic trees for Dummett's logic LC Studia Logica	1986-01-01	Paper

Research outcomes over time

This page was built for person: Giovanna Corsi