**Post doc researcher**

g.greco@tudelft.nl | +31 15 27 83 469 | TU Delft / TPM / building 31 / room b3.370

Google site | academia.edu | LinkedIn | CV.pdf

PUBLICATIONS

**Papers published in international journals**

> G. Greco, Minghui Ma, A. Palmigiano, A. Tzimoulis, Z. Zhao, **Unified Correspondence as a Proof-Theoretic Tool**, *Journal of Logic and Computation*, Special Issue on Canonicity and Correspondence for Nonclassical Logics, DOI: 10.1093/logcom/exw022, (2016).

Arxiv:1603.08204 | Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, **Multi-type Display Calculus for Propositional Dynamic Logic**, Special issue on Substructural logic and information dynamics, Volume 26 (6): 2067-2104 (2016).

JLC webpage | Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, **Multi-type Display Calculus for Dynamic Epistemic Logic**, *Journal of Logic and Computation*, Special issue on Substructural logic and information dynamics, Volume 26 (6): 2017-2065 (2016).

JLC webpage | Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, **A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic**, *Journal of Logic and Computation*, Special issue on Substructural logic and information dynamics, Volume 26 (6): 1961-2015 (2016).

JLC webpage | Paper.pdf

**Papers published in refereed conference proceedings**

> G. Greco, A. Palmigiano, **Lattice Logic Properly Displayed**, Proceedings of the 24rd Workshop on Logic, Language, Information and Computation (WoLLIC 2017), 2017, forthcoming.

ArXiv preprint 1612.05930.

> A. Mosher, G. Greco, F. Liang, A. Palmigiano **Multi-type Display Calculus for Semi-De Morgan Logic**, Proceedings of the 24rd Workshop on Logic, Language, Information and Computation (WoLLIC 2017), forthcoming.

> S. Frittella, G. Greco, A. Palmigiano, Fan Yang, **A Multi-type Calculus for Inquisitive Logic**, Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp. 213-233.

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, **Multi-type Sequent Calculi**, Proceedings Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek, M. Zawidski eds, pp. 81-93 (2014)

Paper.pdf

> G. Greco, A. Kurz, A. Palmigiano, **Dynamic Epistemic Logic Displayed**, Proc. Fourth International Workshop on Logic, Rationality and Interaction (LORI 2013) Huaxin Huang, Davide Grossi, Olivier Roy eds (2013).

Paper.pdf

**Long abstract accepted in reefed conference proceedings**

> F. Yang, G. Greco, **Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic**, Proceedings of SYSMICS 2016

**Submitted Papers**

> G. Greco, A. Palmigiano, **Classical Linear Logic Properly Displayed**

> G. Greco, A. Palmigiano, **Linear Logic Properly Displayed**, ArXiv preprint 1611.04181.

> M. Bílková, A. Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg, The Logic of Resources and Capabilities, ArXiv preprint 1608.02222.

**Papers in preparation**

> P. Jipsen, G. Greco, F. Liang, A. Palmigiano **Modular Proof Theory for Axiomatic Extensions and Expansions of Lattice Logic**.

> S. Balco, G. Greco, A. Kurz, A. Mosher, A. Palmigiano, Apostolos Tzimoulis, **First Order Logic Properly Displayed**.

> Willem Conradie, G. Greco, Claudette Robinson, Apostolos Tzimoulis, **Multi-type Display Calculus for Hybrid Modal Logic**.

> S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano, **Tool Support for Reasoning in Display Calculi**.

> G. Greco, A. Palmigiano, F. Yang, **Multi-type Display Calculus for Dependence Logic**.

> S. Frittella, G. Greco, A. Palmigiano, M. Piazzai, F. Yang, N. Wijnberg, **Matthew Effect via Team Semantics**.

> S. Frittella, G. Greco, **Display Sequent Calculus for Monotone Modal Logic**.

> S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano, **Tool Support for Reasoning in Display Calculi**, *preliminary version*.

Paper.pdf.

TALKS

**Invited talks**

> Dec 5-9, 2016, **Linear Logic Properly Displayed**, Workshop: WOLC 2016 - Non Classical Logics and their Applications - 8th International Workshop on Logic and Cognition, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou

> Sep 19-21, 2016, **Linear Logic Properly Displayed**, Workshop: SEGA - From Shared Evidence to Group Agency, Charles University, Prague

> Jan 8, 2016, **Logic for Organizations**, Logic Workshop, Johannesburg

> Jun 8, 2015, **Proof Theory for Dynamic Logics**, Dynamic in Logic III, Rennes

> Jan 9, 2015, **Proof Theory for Propositional Dynamic Logic**, Logic and Algebra day, Johannesburg

> Dec 2, 2014, **Unified Correspondence as a Proof-theoretic Tool**, Journée Logique, Marseille

> Jun 26, 2014, **From Display to Display-type Sequent Calculi**, Logic Day in Bochum, Bochum

**Conference and workshop talks**

> Apr 10-12, 2017, **Modular Proof Theory for Axiomatic Extensions and Expansions of Lattice Logic**, Algebra and Coalgebra meet Proof Theory (ALCOP), University of Strathclyde.

> Jan 24-5, 2017, **Linear Logic Properly Displayed**, Workshop on Logic and Applications, University of Johannesburg.

> Dec 5-9, 2016, **Lattice Logic Properly Displayed**, Workshop: WOLC 2016 - Non Classical Logics and their Applications - 8th International Workshop on Logic and Cognition, Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou.

> Nov 10, 2016, **Linear Logic Properly Displayed**Workshop: Linear Logic, Mathematics and Computer Science, ENS de Lyon.

> Sep 5-9, 2016, **Structural Multi-type Sequent Calculus for Modal Intuitionistic Dependence Logic**, SYSMIC 2016, Universitat de Barcelona

> Aug 16-19, 2016, **A Multi-type Calculus for Inquisitive Logic**, WoLLIC 2016, Autonomous University of Puebla

> Apr 7, 2016, **The Logic of Resources and Capabilities**, ALCOP 2016, Vienna

> Sep 3, 2015, **Displaying Dynamic Logics**, Nat@Logic 2015, University of Natal, Brazil

> Jun 26, 2015, **Generalizing Belnap's Cut-elimination**, Topology, Algebra, and Categories in Logic (TACL), Ischia

> Apr 26, 2015, **Display Calculi in the light of ALBA**, Symposium on Proof Theory, Belgrade

> Aug 8, 2014, **Display-type sequent calculus for Monotone Modal Logic**, Advances in Modal Logic (AiML), University of Groningen

> Jul 28- Aug 1, 2014, **Display-style sequent calculi**, Latin American Symposium on Mathematical Logic (XVI SLALM), Buenos Aires

> Jul 13, 2014, **Display-type calculi and their cut-elimination metatheorem**, Gentzen Systems and Beyond (GSB3), part of the Vienna Summer of Logic, Wien

> July 3 2014, **Multi-type Sequent Calculi**, Trends in Logics XIII International Conference

> May 16, 2014, **Cut-elimination for Multi-type Display Calculi**, Algebra and Coalgebra meet Proof Theory (ALCOP), London

> Jul 29, 2013, **Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge**, Topology, Algebras and Categories in Logic (TACL), Nashville, USA

> Jun 6, 2013, **Dynamic Sequent Calculus for the Logic of Epistemic Actions and Knowledge**, Colloquium on Logic and Epistemology, Ruhr University, Bochum, Germany

> Apr 18, 2013, **Dynamic Epistemic Logic Displayed**, Algebra and Coalgebra meet Proof Theory (ALCOP), Utrecht

> Apr 6, 2013, **Saturated Logic: its Syntax**, 4th World Congress and School on Universal Logic (UniLog), Rio de Janeiro

> Sep 14, 2012 **A Display-Style Sequent Calculus for Public Announcement Logic**, Workshop on Lattices and Relations, Amsterdam

**Seminar talks**

> Feb 10, 2017, **A Multi-type Calculus for Inquisitive Logic**, Inquisitive Semantics Seminar, ILLC, University of Amsterdam.

> Dec 11, 2014 **Proof-theoretic Tools for Multi-Agent Interaction**, Thursday Colloquium, Philosophy Section, TU Delft

> Feb 10, 2014 **Proof Theory for Dynamic Logics**, Séminar Logique et Interactions, Aix-Marseille University.

> Oct 25, 2012 **Epistemic updates on algebras, and display-style sequent calculi for dynamic logics**, Logic and Interactive Rationality (LIRa), ILLC, University of Amsterdam

> Jun 8, 2012 **Sequent Calculus for the Logic of Public Announcements**, Colloquium on Mathematical Logic (CML), University of Utrecht.

> Dec 13, 2012 **Tutorial on Gentzen and Display Calculi**, Department of Computer Science, University of Leicester

TEACHING

**Lecturing at international summer schools**

> Aug 2-9, 2015, ESSLLI 2015, **Algebraic and Proof-theoretic Methods in Dynamic Logics**, Advanced course, Universitat Pompeu Fabra, Barcelona

**Guest lectures at MSc courses**

> Oct 10, 2012, **Display Calculi**, Introduction to Proof Theory, Graduate Program in Logic, Institute for Logic, Language and Computation (ILLC), Amsterdam

**BSc and MSc courses**

> 2016/7, **Logics for Empirical Sciences**, MSc course, TU Delft, Lecturer and Course manager

> 2016/7, **Formal Methods for Strategic Decision-making: Innovation, Safety, and Sustainability in Organizations**, BSc course, TU Delft, Course manager

> 2016/7, **Argumentation and Philosophy of Science**, BSc course, TU Delft, Lecturer and Course manager

> 2015/6, --, 180+ students, Lecturer

> 2014/5, --, 130+ students, Lecturer

> 2015/6, **Integration Economics, Law, Philosophy and Technology**, BSc course, 90+ students, TU Delft, Course manager

> 2015/6, **Ethics and Engineering**, BSc course, TU Delft

> 2015/6, **Philosophy of Engineering Science and Design**, BSc course, TU Delft

> 2014/5, **Information Technology and Values**, MSc course, TU Delft

> 2013/4, --

> 2012/3, **Mathematical Logic**, BSc course, University of Amsterdam

**University Teaching Qualification (BKO)**

> 2016, UTQ - second module, TU Delft (achieved)

> 2015, UTQ - first module, TU Delft (achieved)

SUPERVISIONS

**PhD students**

> 2012-14, **External supervisor**, *Monotone Modal Logic & Friends, Sabine Frittella*, Université D'Aix-Marseille (defended on Dec 1, 2014)

> 2014 -, **Co-supervisor**, Zhiguang Zhao, TU Delft (ongoing)

> 2014 -, **Co-supervisor**, Apostolos Tzimoulis, TU Delft (ongoing)

**MSc students**

> 2016 -, **Co-supervisor**, *Isabelle-assisted Implementation for Multi-type calculi and Efficiency Strategies*, Nikolas Tzimoulis, AI, University of Amsterdam (ongoing)

> 2014-5, **Co-supervisor**, *Investigations into Linear Logic with Fixed-Point Operators*, Francesco Gavazzo, University of Amsterdam (defended on Sep 30, 2015)

> 2012-3, **Co-supervisor**, *Towards a Proof-Theoretic Semantics for Dynamic Logics*, Vlasta Sikimić, University of Amsterdam (defended on Sep 27, 2013)

EVENT ORGANIZATION

> Oct 29, 2016, **Dynamics in Logics IV**, co-organiser, TPM, TU Delft

> 2014-5, **Applied Logic Seminar**, co-organiser, TU Delft

> Jun 29-3, 2015, **Trends in Logc XV: Logics for Social Behaviour**, co-organiser, Science Centre, TU Delft

> May 6-8, 2015, **ALCOP VI: Algebra and Coalgebra meet Proof Theory**, co-organiser, TPM, TU Delft

> Sep 12-14, 2012, **Workshop on Lattices and Relations**, co-organiser, University of Amsterdam

ACADEMIC VISITS

> Jan 7-31, 2017, Department of Pure Mathematics, University of Johannesburg, Host: Willem Conradie

> Jan 4-31, 2016, Department of Pure Mathematics, University of Johannesburg, Host: Willem Conradie

> 24 Aug-9 Sep, 2015, Department of Computer Science, University of Natal, Brazil, Host: Joao Marcos

> Jun 7-9, 2015, Institute of Computer Languages, Technische Universität Wien, Host: Agata Ciabattoni

> Apr 24-26, 2015, Institute of Computer Languages, Technische Universität Wien, Host: Agata Ciabattoni

> Apr 13-17, 2015, Department of Computer Science, University of Bath, Host: Alessio Guglielmi

> Jan 4-31, 2015, Department of Pure Mathematics, University of Johannesburg, Host: Willem Conradie

> Sep 27-4, 2014, Department of Computer Science, University of Leicester, Host: Alexander Kurz

> Jun 25-26, 2014, Department of Philosophy, Logic and Epistemology, Ruhr-Universität, Bochum, Host: Heinrich Wansing

> Feb 7-14, 2014, Laboratoire d'Informatique Fondamentale, University of Marseille, Host: Luigi Santocanale

> Nov 12-23, 2013, Department of Computer Science, University of Leicester, Host: Alexander Kurz

> Dec 3-16, 2012, Department of Computer Science, University of Leicester, Host: Alexander Kurz