Normality for Gentzen systems in the classical case. - Alessandra Palmigiano (ESSLLI Student Papers, 1999)

Normal Gentzen Deductions in the Classical Case. - Alessandra Palmigiano (Log. J. IGPL, 2000)

Abstract Logics as Dialgebras. - Alessandra Palmigiano (CMCS, 2002)

Coalgebraic Semantics for Positive Modal Logic. - Alessandra Palmigiano (CMCS, 2003)

Coalgebras and Modal Expansions of Logics. - Alexander Kurz 001; Alessandra Palmigiano (CMCS, 2004)

A coalgebraic view on positive modal logic. - Alessandra Palmigiano (Theor. Comput. Sci., 2004)

Canonical extensions and relational completeness of some substructural logics. - J. Michael Dunn; Mai Gehrke; Alessandra Palmigiano (J. Symb. Log., 2005)

Referential semantics: duality and applications. - Ramon Jansana; Alessandra Palmigiano (Reports Math. Log., 2006)

Nabla Algebras and Chu Spaces. - Alessandra Palmigiano; Yde Venema (CALCO, 2007)

Proof systems for the coalgebraic cover modality. - Marta Bílková; Alessandra Palmigiano; Yde Venema (Advances in Modal Logic, 2008)

Canonical extensions for congruential logics with the deduction theorem. - Mai Gehrke; Ramon Jansana; Alessandra Palmigiano (Ann. Pure Appl. Log., 2010)

Coalgebra and Logic: A Brief Overview. - Alexander Kurz 001; Alessandra Palmigiano; Yde Venema (J. Log. Comput., 2010)

Topological Groupoid Quantales. - Alessandra Palmigiano; R. Re (Stud Logica, 2010)

Algorithmic correspondence and canonicity for distributive modal logic. - Willem Conradie; Alessandra Palmigiano (Ann. Pure Appl. Log., 2012)

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

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (TACL, 2013)

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

Epistemic Updates on Algebras. - Alexander Kurz 001; Alessandra Palmigiano (Log. Methods Comput. Sci., 2013)

Δ1-completions of a Poset. - Mai Gehrke; Ramon Jansana; Alessandra Palmigiano (Order, 2013)

Relational Representation of Groupoid Quantales. - Alessandra Palmigiano; Riccardo Re (Order, 2013)

Unified Correspondence. - Willem Conradie; Silvio Ghilardi; Alessandra Palmigiano (Johan van Benthem on Logic and Information Dynamics, 2014)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. - Minghui Ma; Alessandra Palmigiano; Mehrnoosh Sadrzadeh (Ann. Pure Appl. Log., 2014)

Proof systems for Moss' coalgebraic logic. - Marta Bílková; Alessandra Palmigiano; Yde Venema (Theor. Comput. Sci., 2014)

Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. - Geghard Bedrosian; Alessandra Palmigiano; Zhiguang Zhao (LORI, 2015)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis (LORI, 2015)

An Abstract Algebraic Logic View on Judgment Aggregation. - María Esteban; Alessandra Palmigiano; Zhiguang Zhao (LORI, 2015)

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (CoRR, 2015)

Algorithmic correspondence for intuitionistic modal mu-calculus. - Willem Conradie; Yves Fomatati; Alessandra Palmigiano; Sumit Sourabh (Theor. Comput. Sci., 2015)

Categories: How I Learned to Stop Worrying and Love Two Sorts. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (WoLLIC, 2016)

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)

Constructive Canonicity for Lattice-Based Fixed Point Logics. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Zhiguang Zhao (WoLLIC, 2017)

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)

Toward an Epistemic-Logical Theory of Categorization. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Michele Piazzai; Apostolos Tzimoulis; Nachoem Wijnberg (TARK, 2017)

Algebraic modal correspondence: Sahlqvist and beyond. - Willem Conradie; Alessandra Palmigiano; Sumit Sourabh (J. Log. Algebraic Methods Program., 2017)

Editorial. - Willem Conradie; Alessandra Palmigiano (J. Log. Comput., 2017)

Dual characterizations for finite lattices via correspondence theory for monotone modal logic. - Sabine Frittella; Alessandra Palmigiano; Luigi Santocanale (J. Log. Comput., 2017)

Sahlqvist theory for impossible worlds. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 2017)

Jónsson-style canonicity for ALBA-inequalities. - Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao (J. Log. Comput., 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 Social Behaviour: An Editorial. - Alessandra Palmigiano; Marcus Pivato (Stud Logica, 2018)

Modelling competing theories. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Nachoem Wijnberg (EUSFLAT Conf., 2019)

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)

Modelling Informational Entropy. - Willem Conradie; Andrew Craig; Alessandra Palmigiano; Nachoem M. Wijnberg (WoLLIC, 2019)

Algorithmic correspondence and canonicity for non-distributive logics. - Willem Conradie; Alessandra Palmigiano (Ann. Pure Appl. Log., 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)

Sahlqvist via Translation. - Willem Conradie; Alessandra Palmigiano; Zhiguang Zhao (Log. Methods Comput. Sci., 2019)

Probabilistic Epistemic Updates on Algebras. - Willem Conradie; Sabine Frittella; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (ACM Trans. Comput. Log., 2019)

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

Toward a Dempster-Shafer theory of concepts. - Sabine Frittella; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2020)

Constructive Canonicity of Inductive Inequalities. - Willem Conradie; Alessandra Palmigiano (Log. Methods Comput. Sci., 2020)

Modelling socio-political competition. - Willem Conradie; Alessandra Palmigiano; Claudette Robinson; Apostolos Tzimoulis; Nachoem Wijnberg (Fuzzy Sets Syst., 2021)

Rough concepts. - Willem Conradie; Sabine Frittella; Krishna Manoorkar; Sajad Nazari; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem M. Wijnberg (Inf. Sci., 2021)

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

Slanted Canonicity of Analytic Inductive Inequalities. - Laurent de Rudder; Alessandra Palmigiano (ACM Trans. Comput. Log., 2021)

Subordination Algebras as Semantic Environment of Input/Output Logic. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (WoLLIC, 2022)

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

Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (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)

Outlier detection using flexible categorisation and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2023)

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

KLM-style Defeasible Reasoning on Concepts. - Fei Liang; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis (FCA4AI@ECAI, 2024)

Description Logic for Rough Concepts. - Krishna Manoorkar; Andrea De Domenico; Alessandra Palmigiano (IJCRS (1), 2024)

Correspondence Theory on Vector Spaces. - Alessandra Palmigiano; Mattia Panettiere; Ni Wayan Switrayni (WoLLIC, 2024)

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

Obligations and permissions on selfextensional logics. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Outlier detection using flexible categorization and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Decis. Support Syst., 2024)

Modal reduction principles across relational semantics. - Willem Conradie; Andrea De Domenico; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Daira Pinto Prieto; Apostolos Tzimoulis (Fuzzy Sets Syst., 2024)

Polynomial-time checking of generalized Sahlqvist syntactic shape. - Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (Theor. Comput. Sci., 2024)

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

Modal reduction principles: a parametric shift to graphs. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (J. Appl. Non Class. Logics, 2024)

Monotone Modal Logic Beyond Distributivity. - Yiwen Ding; Krishna Manoorkar; Alessandra Palmigiano; Ruoding Wang (ICLA, 2025)

Flexible categorization using formal concept analysis and Dempster-Shafer theory. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2025)

Questions as cognitive filters. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2025)

Unified inverse correspondence for LE-logics. - Alessandra Palmigiano; Mattia Panettiere (Ann. Pure Appl. Log., 2026)