Hi! I am a Doctoral Student at the Helsinki Logic Group under the supervision of Fan Yang and Juha Kontinen.

My current research focuses on model-theoretic and algebraic aspects of logics over team semantics. More generally, I am interested in model theory, algebraic logic and universal algebra.

My Orcid ID is 0000-0002-3750-3627. My recent preprints are available in arXiv and my published work is generally listed in zbMath and dblp.

Publications

Recent Works

• Tapani Hyttinen, Davide Emilio Quadrellaro. Varieties of strictly n-generated Heyting algebras, Submitted.
• Joni Puljujärvi, Davide Emilio Quadrellaro. Compactness in Team Semantics, Submitted.
• Georgi Nakov, Davide Emilio Quadrellaro. Algebraizable Weak Logics, Submitted.

Journal Articles

1. Gianluca Grilletti, Davide Emilio Quadrellaro (2024). Esakia Duals of Regular Heyting Algebras. Algebra Universalis, 85(5).
2. Davide Emilio Quadrellaro (2022). On Intermediate Inquisitive and Dependence Logics: An Algebraic Study. Annals of Pure and Applied Logic, 173 (10):103143.
3. Nick Bezhanishvili, Gianluca Grilletti and Davide Emilio Quadrellaro (2022). An Algebraic Approach to Inquisitive and DNA-Logics, The Review of Symbolic Logic, 15(4), 950-990. (Helda preprint)

Conference Proceedings

1. Gianluca Grilletti, Davide Emilio Quadrellaro (2022). Lattices of Intermediate Theories via Ruitenburg’s Theorem. In: Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206. Springer, Cham. (arXiv preprint)

Thesis and Student Papers

1. Davide Emilio Quadrellaro (2019). Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic, MSc Thesis, University of Amsterdam. (Awarded AILA’s Best Thesis in Logic Prize in 2020)
2. Davide Emilio Quadrellaro (2016). Epistemic Logic and the Problem of Epistemic Closure, Rivista Italiana di Filosofia Analitica Junior, 7.2.
3. Davide Emilio Quadrellaro (2016). Frege e Husserl: un confronto fra due teorie del significato, Rivista Italiana di Filosofia Analitica Junior, 7.1.

Teaching

• Algebra II (2023), teaching assistant.
• Computability Theory (2022), teaching assistant.
• Elements of Set Theory (2021), teaching assistant.
• Dependence Logic I (2019), teaching assistant.

Ihr aber, wenn es soweit sein wird
Dass der Mensch dem Menschen ein Helfer ist
Gedenkt unsrer
Mit Nachsicht.

Bertolt Brecht, "An die Nachgeborenen", 1939.