Alessandra Palmigiano

According to our database, Alessandra Palmigiano authored at least 80 papers between 1999 and 2024.

Collaborative distances:

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

2024

Algebraic Proof Theory for LE-logics.

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

ACM Trans. Comput. Log., January, 2024

Obligations and permissions on selfextensional logics.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

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

Outlier detection using flexible categorisation and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

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

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

Unified inverse correspondence for DLE-Logics.

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

CoRR, 2022

Modal reduction principles across relational semantics.

Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis

CoRR, 2022

Subordination Algebras as Semantic Environment of Input/Output Logic.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Slanted Canonicity of Analytic Inductive Inequalities.

Laurent de Rudder, Alessandra Palmigiano

ACM Trans. Comput. Log., 2021

Semi De Morgan Logic Properly Displayed.

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

Stud Logica, 2021

Rough concepts.

Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

Inf. Sci., 2021

Modelling socio-political competition.

Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg

Fuzzy Sets Syst., 2021

2020

Constructive Canonicity of Inductive Inequalities.

Willem Conradie, Alessandra Palmigiano

Log. Methods Comput. Sci., 2020

Toward a Dempster-Shafer theory of concepts.

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

Int. J. Approx. Reason., 2020

Vector Spaces as Kripke Frames.

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

FLAP, 2020

2019

Probabilistic Epistemic Updates on Algebras.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

ACM Trans. Comput. Log., 2019

Sahlqvist via Translation.

Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao

Log. Methods Comput. Sci., 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

Algorithmic correspondence and canonicity for non-distributive logics.

Willem Conradie, Alessandra Palmigiano

Ann. Pure Appl. Log., 2019

Modelling Informational Entropy.

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg

Proceedings of the Logic, Language, Information, and Computation, 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

Modelling competing theories.

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg

Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, 2019

2018

Logics for Social Behaviour: An Editorial.

Alessandra Palmigiano, Marcus Pivato

Stud Logica, 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

Jónsson-style canonicity for ALBA-inequalities.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

J. Log. Comput., 2017

Sahlqvist theory for impossible worlds.

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

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

Editorial.

Willem Conradie, Alessandra Palmigiano

J. Log. Comput., 2017

Algebraic modal correspondence: Sahlqvist and beyond.

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh

J. Log. Algebraic Methods Program., 2017

Toward an Epistemic-Logical Theory of Categorization.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 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

Constructive Canonicity for Lattice-Based Fixed Point Logics.

Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao

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

Categories: How I Learned to Stop Worrying and Love Two Sorts.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

Algorithmic correspondence for intuitionistic modal mu-calculus.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Theor. Comput. Sci., 2015

Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA.

Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

CoRR, 2015

An Abstract Algebraic Logic View on Judgment Aggregation.

María Esteban, Alessandra Palmigiano, Zhiguang Zhao

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Probabilistic Epistemic Updates on Algebras.

Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention.

Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014

Proof systems for Moss' coalgebraic logic.

Marta Bílková, Alessandra Palmigiano, Yde Venema

Theor. Comput. Sci., 2014

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.

Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh

Ann. Pure Appl. Log., 2014

Unified Correspondence.

Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Relational Representation of Groupoid Quantales.

Alessandra Palmigiano, Riccardo Re

Order, 2013

Δ1-completions of a Poset.

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

Order, 2013

Epistemic Updates on Algebras.

Alexander Kurz, Alessandra Palmigiano

Log. Methods Comput. Sci., 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

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1.

Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh

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

2012

Algorithmic correspondence and canonicity for distributive modal logic.

Willem Conradie, Alessandra Palmigiano

Ann. Pure Appl. Log., 2012

2010

Topological Groupoid Quantales.

Alessandra Palmigiano, R. Re

Stud Logica, 2010

Coalgebra and Logic: A Brief Overview.

Alexander Kurz, Alessandra Palmigiano, Yde Venema

J. Log. Comput., 2010

Canonical extensions for congruential logics with the deduction theorem.

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

Ann. Pure Appl. Log., 2010

2008

Proof systems for the coalgebraic cover modality.

Marta Bílková, Alessandra Palmigiano, Yde Venema

Proceedings of the Advances in Modal Logic 7, 2008

2007

Nabla Algebras and Chu Spaces.

Alessandra Palmigiano, Yde Venema

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Referential semantics: duality and applications.

Ramon Jansana, Alessandra Palmigiano

Reports Math. Log., 2006

2005

Canonical extensions and relational completeness of some substructural logics.

J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano

J. Symb. Log., 2005

2004

A coalgebraic view on positive modal logic.

Alessandra Palmigiano

Theor. Comput. Sci., 2004

Coalgebras and Modal Expansions of Logics.

Alexander Kurz, Alessandra Palmigiano

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003

Coalgebraic Semantics for Positive Modal Logic.

Alessandra Palmigiano

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

Abstract Logics as Dialgebras.

Alessandra Palmigiano

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2000

Normal Gentzen Deductions in the Classical Case.

Alessandra Palmigiano

Log. J. IGPL, 2000

1999

Normality for Gentzen systems in the classical case.

Alessandra Palmigiano

Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999