Giuseppe Greco

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