Dynamic Epistemic Logic Displayed. - Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (LORI, 2013)

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. - Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (TACL, 2013)

A Multi-type Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (WoLLIC, 2016)

Tool support for reasoning in display calculi. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (CoRR, 2016)

Structural Multi-type Sequent Calculus for Inquisitive Logic. - Sabine Frittella; Giuseppe Greco 001; Alessandra Palmigiano; Fan Yang 004 (CoRR, 2016)

Multi-type display calculus for propositional dynamic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (J. Log. Comput., 2016)

A proof-theoretic semantic analysis of dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

Multi-type display calculus for dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

Multi-type Display Calculus for Semi De Morgan Logic. - Giuseppe Greco 001; Fei Liang; M. Andrew Moshier; Alessandra Palmigiano (WoLLIC, 2017)

Lattice Logic Properly Displayed. - Giuseppe Greco 001; Alessandra Palmigiano (WoLLIC, 2017)

Software Tool Support for Modular Reasoning in Modal Logics of Actions. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (ITP, 2018)

Proper Multi-Type Display Calculi for Rough Algebras. - Giuseppe Greco 001; Fei Liang; Krishna Manoorkar; Alessandra Palmigiano (LSFA, 2018)

Unified correspondence as a proof-theoretic tool. - Giuseppe Greco 001; Minghui Ma; Alessandra Palmigiano; Apostolos Tzimoulis; Zhiguang Zhao (J. Log. Comput., 2018)

The Logic of Resources and Capabilities. - Marta Bílková; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (Rev. Symb. Log., 2018)

Logics for Rough Concept Analysis. - Giuseppe Greco 001; Peter Jipsen; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis (ICLA, 2019)

Non Normal Logics: Semantic Analysis and Proof Theory. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (WoLLIC, 2019)

Vector spaces as Kripke frames. - Giuseppe Greco 001; Fei Liang; Michael Moortgat; Alessandra Palmigiano (CoRR, 2019)

Bilattice logic properly displayed. - Giuseppe Greco 001; Fei Liang; Alessandra Palmigiano; Umberto Rivieccio (Fuzzy Sets Syst., 2019)

Lambek-Grishin Calculus: Focusing, Display and Full Polarization. - Giuseppe Greco 001; Valentin D. Richard; Michael Moortgat; Apostolos Tzimoulis (CoRR, 2020)

Vector Spaces as Kripke Frames. - Giuseppe Greco 001; Fei Liang; Michael Moortgat; Alessandra Palmigiano; Apostolos Tzimoulis (FLAP, 2020)

Neighbourhood semantics for graded modal logic. - Jinsheng Chen; Hans van Ditmarsch; Giuseppe Greco 001; Apostolos Tzimoulis (CoRR, 2021)

Semi De Morgan Logic Properly Displayed. - Giuseppe Greco 001; Fei Liang; M. Andrew Moshier; Alessandra Palmigiano (Stud Logica, 2021)

Algorithmic correspondence and analytic rules. - Andrea De Domenico; Giuseppe Greco 001 (AiML, 2022)

Unified inverse correspondence for DLE-Logics. - Willem Conradie; Andrea De Domenico; Giuseppe Greco 001; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis (CoRR, 2022)

Non-normal modal logics and conditional logics: Semantic analysis and proof theory. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (Inf. Comput., 2022)

Syntactic Completeness of Proper Display Calculi. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (ACM Trans. Comput. Log., 2022)

Labelled Calculi for Lattice-Based Modal Logics. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Labelled Calculi for the Logics of Rough Concepts. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Non-distributive Description Logic. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (TABLEAUX, 2023)

Linear Logic Properly Displayed. - Giuseppe Greco 001; Alessandra Palmigiano (ACM Trans. Comput. Log., 2023)

Generating proof systems for three-valued propositional logics. - Vitor Greati; Giuseppe Greco 001; Sérgio Marcelino; Alessandra Palmigiano; Umberto Rivieccio (CoRR, 2024)

Algebraic Proof Theory for LE-logics. - Giuseppe Greco 001; Peter Jipsen; Fei Liang; Alessandra Palmigiano; Apostolos Tzimoulis (ACM Trans. Comput. Log., 2024)