Giuseppe Greco

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 36

Top Topics

Maximal Tractable

Reverse Nearest Neighbor

Top Venues

J. Log. Comput.

Publications

Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
Generating proof systems for three-valued propositional logics. CoRR (2024)
Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis
Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. 25 (1) (2024)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for the Logics of Rough Concepts. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for Lattice-Based Modal Logics. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Non-distributive Description Logic. TABLEAUX (2023)
Giuseppe Greco, Alessandra Palmigiano
Linear Logic Properly Displayed. ACM Trans. Comput. Log. 24 (2) (2023)
Andrea De Domenico, Giuseppe Greco
Algorithmic correspondence and analytic rules. CoRR (2022)
Andrea De Domenico, Giuseppe Greco
Algorithmic correspondence and analytic rules. AiML (2022)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Syntactic Completeness of Proper Display Calculi. ACM Trans. Comput. Log. 23 (4) (2022)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Non-normal modal logics and conditional logics: Semantic analysis and proof theory. Inf. Comput. 287 (2022)
Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis
Unified inverse correspondence for DLE-Logics. CoRR (2022)
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
Semi De Morgan Logic Properly Displayed. Stud Logica 109 (1) (2021)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Syntactic completeness of proper display calculi. CoRR (2021)
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
Neighbourhood semantics for graded modal logic. CoRR (2021)
Giuseppe Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis
Lambek-Grishin Calculus: Focusing, Display and Full Polarization. CoRR (2020)
Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis
Vector Spaces as Kripke Frames. FLAP 7 (5) (2020)
Giuseppe Greco, Fei Liang, Alessandra Palmigiano, Umberto Rivieccio
Bilattice logic properly displayed. Fuzzy Sets Syst. 363 (2019)
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Logics for Rough Concept Analysis. ICLA (2019)
Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano
Vector spaces as Kripke frames. CoRR (2019)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Non Normal Logics: Semantic Analysis and Proof Theory. WoLLIC (2019)
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Logics for Rough Concept Analysis. CoRR (2018)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP (2018)
Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano
Proper Multi-Type Display Calculi for Rough Algebras. LSFA (2018)
Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
The Logic of Resources and Capabilities. Rev. Symb. Log. 11 (2) (2018)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28 (7) (2018)
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
Multi-type Display Calculus for Semi De Morgan Logic. WoLLIC (2017)
Giuseppe Greco, Alessandra Palmigiano
Lattice Logic Properly Displayed. WoLLIC (2017)
Giuseppe Greco, Alessandra Palmigiano
Lattice Logic Properly Displayed. CoRR (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Giuseppe Greco, Alessandra Palmigiano
Linear Logic Properly Displayed. CoRR (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR (2016)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified Correspondence as a Proof-Theoretic Tool. CoRR (2016)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool support for reasoning in display calculi. CoRR (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
A Multi-type Calculus for Inquisitive Logic. WoLLIC (2016)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic Epistemic Logic Displayed. LORI (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL (2013)