Giuseppe Greco

Post doc researcher

Giuseppe Greco_Applied Logic TU Delft

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 DisplayedWorkshop: 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