Giuseppe Greco

According to our database, Giuseppe Greco authored at least 12 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Non-distributive Description Logic.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Labelled Calculi for the Logics of Rough Concepts.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Labelled Calculi for Lattice-Based Modal Logics.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

Algorithmic correspondence and analytic rules.

Andrea De Domenico, Giuseppe Greco

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2019

Non Normal Logics: Semantic Analysis and Proof Theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Language, Information, and Computation, 2019

Logics for Rough Concept Analysis.

Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Software Tool Support for Modular Reasoning in Modal Logics of Actions.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Lattice Logic Properly Displayed.

Giuseppe Greco, Alessandra Palmigiano

Proceedings of the Logic, Language, Information, and Computation, 2017

Multi-type Display Calculus for Semi De Morgan Logic.

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

A Multi-type Calculus for Inquisitive Logic.

Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang

Proceedings of the Logic, Language, Information, and Computation, 2016

2013

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.

Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Dynamic Epistemic Logic Displayed.

Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013