Giuseppe Greco

According to our database, Giuseppe Greco authored at least 32 papers between 2013 and 2024.

Collaborative distances:

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

2024

Algebraic Proof Theory for LE-logics.

Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., January, 2024

Generating proof systems for three-valued propositional logics.

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio

CoRR, 2024

2023

Linear Logic Properly Displayed.

Giuseppe Greco, Alessandra Palmigiano

ACM Trans. Comput. Log., April, 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

Syntactic Completeness of Proper Display Calculi.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., 2022

Non-normal modal logics and conditional logics: Semantic analysis and proof theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Inf. Comput., 2022

Unified inverse correspondence for DLE-Logics.

Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis

CoRR, 2022

Algorithmic correspondence and analytic rules.

Andrea De Domenico, Giuseppe Greco

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

2021

Semi De Morgan Logic Properly Displayed.

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

Stud Logica, 2021

Neighbourhood semantics for graded modal logic.

Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

CoRR, 2021

2020

Vector Spaces as Kripke Frames.

Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis

FLAP, 2020

Lambek-Grishin Calculus: Focusing, Display and Full Polarization.

Giuseppe Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis

CoRR, 2020

2019

Bilattice logic properly displayed.

Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio

Fuzzy Sets Syst., 2019

Vector spaces as Kripke frames.

Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano

CoRR, 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

The Logic of Resources and Capabilities.

Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Rev. Symb. Log., 2018

Unified correspondence as a proof-theoretic tool.

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao

J. Log. Comput., 2018

Proper Multi-Type Display Calculi for Rough Algebras.

Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 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

Multi-type display calculus for dynamic epistemic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic

J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic

J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

J. Log. Comput., 2016

Structural Multi-type Sequent Calculus for Inquisitive Logic.

Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang

CoRR, 2016

Tool support for reasoning in display calculi.

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

CoRR, 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