Alessandra Palmigiano

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 70

Top Topics

Outlier Detection

Top Venues

J. Log. Comput.

ACM Trans. Comput. Log.

Publications

Krishna Manoorkar, Andrea De Domenico, Alessandra Palmigiano
Description Logic for Rough Concepts. IJCRS (1) (2024)
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
Outlier detection using flexible categorization and interrogative agendas. Decis. Support Syst. 180 (2024)
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
Modal reduction principles across relational semantics. Fuzzy Sets Syst. 481 (2024)
Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
Generating proof systems for three-valued propositional logics. CoRR (2024)
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Obligations and permissions on selfextensional logics. CoRR (2024)
Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni
Correspondence Theory on Vector Spaces. WoLLIC (2024)
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics 34 (2-3) (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)
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
Outlier detection using flexible categorisation and interrogative agendas. CoRR (2023)
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
Modal reduction principles across relational semantics. CoRR (2022)
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory. CoRR (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)
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Subordination Algebras as Semantic Environment of Input/Output Logic. CoRR (2022)
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Subordination Algebras as Semantic Environment of Input/Output Logic. WoLLIC (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)
Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg
Modelling socio-political competition. Fuzzy Sets Syst. 407 (2021)
Laurent de Rudder, Alessandra Palmigiano
Slanted Canonicity of Analytic Inductive Inequalities. ACM Trans. Comput. Log. 22 (3) (2021)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. Inf. Sci. 561 (2021)
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Toward a Dempster-Shafer theory of concepts. Int. J. Approx. Reason. 125 (2020)
Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis
Vector Spaces as Kripke Frames. FLAP 7 (5) (2020)
Willem Conradie, Alessandra Palmigiano
Constructive Canonicity of Inductive Inequalities. Log. Methods Comput. Sci. 16 (3) (2020)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg
Modelling competing theories. EUSFLAT Conf. (2019)
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Toward a Dempster-Shafer theory of concepts. CoRR (2019)
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)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. CoRR (2019)
Willem Conradie, Alessandra Palmigiano
Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. 170 (9) (2019)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
Modelling Informational Entropy. WoLLIC (2019)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. 20 (4) (2019)
Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
Sahlqvist via Translation. Log. Methods Comput. Sci. 15 (1) (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)
Alessandra Palmigiano, Marcus Pivato
Logics for Social Behaviour: An Editorial. Stud Logica 106 (5) (2018)
Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28 (7) (2018)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. 27 (3) (2017)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. 27 (3) (2017)
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Sahlqvist theory for impossible worlds. J. Log. Comput. 27 (3) (2017)
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
Multi-type Display Calculus for Semi De Morgan Logic. WoLLIC (2017)
Willem Conradie, Alessandra Palmigiano
Editorial. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC (2017)
Giuseppe Greco, Alessandra Palmigiano
Lattice Logic Properly Displayed. WoLLIC (2017)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. 91 (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Toward an Epistemic-Logical Theory of Categorization. TARK (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC (2016)
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)
María Esteban, Alessandra Palmigiano, Zhiguang Zhao
An Abstract Algebraic Logic View on Judgment Aggregation. CoRR (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
A Multi-type Calculus for Inquisitive Logic. WoLLIC (2016)
Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR (2015)
María Esteban, Alessandra Palmigiano, Zhiguang Zhao
An Abstract Algebraic Logic View on Judgment Aggregation. LORI (2015)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564 (2015)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
Probabilistic Epistemic Updates on Algebras. LORI (2015)
Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. LORI (2015)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR (2014)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549 (2014)
Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. 165 (4) (2014)
Alessandra Palmigiano, Riccardo Re
Relational Representation of Groupoid Quantales. Order 30 (1) (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic Epistemic Logic Displayed. LORI (2013)
Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL (2013)
Alexander Kurz, Alessandra Palmigiano
Epistemic Updates on Algebras. Log. Methods Comput. Sci. 9 (4) (2013)
Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL (2013)
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
Δ1-completions of a Poset. Order 30 (1) (2013)
Willem Conradie, Alessandra Palmigiano
Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163 (3) (2012)
Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI (2011)
Alessandra Palmigiano, R. Re
Topological Groupoid Quantales. Stud Logica 95 (1-2) (2010)
Alexander Kurz, Alessandra Palmigiano, Yde Venema
Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20 (5) (2010)
Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Log. 161 (12) (2010)
Marta Bílková, Alessandra Palmigiano, Yde Venema
Proof systems for the coalgebraic cover modality. Advances in Modal Logic (2008)
Alessandra Palmigiano, Yde Venema
Nabla Algebras and Chu Spaces. CALCO (2007)
Ramon Jansana, Alessandra Palmigiano
Referential semantics: duality and applications. Reports Math. Log. 41 (2006)
J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70 (3) (2005)
Alessandra Palmigiano
A coalgebraic view on positive modal logic. Theor. Comput. Sci. 327 (1-2) (2004)
Alexander Kurz, Alessandra Palmigiano
Coalgebras and Modal Expansions of Logics. CMCS (2004)
Alessandra Palmigiano
Coalgebraic Semantics for Positive Modal Logic. CMCS (2003)
Alessandra Palmigiano
Abstract Logics as Dialgebras. CMCS (2002)
Alessandra Palmigiano
Normal Gentzen Deductions in the Classical Case. Log. J. IGPL 8 (2) (2000)
Alessandra Palmigiano
Normality for Gentzen systems in the classical case. ESSLLI Student Papers (1999)