Alessandra Palmigiano

106 papers B 6C 9Journal 69Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unified inverse correspondence for LE-logics. Ann. Pure Appl. Log. Alessandra Palmigiano, Mattia Panettiere
2025	J	`jnl`	Flexible categorization using formal concept analysis and Dempster-Shafer theory. Int. J. Approx. Reason. Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2025	—	`conf`	Monotone Modal Logic Beyond Distributivity. ICLA Yiwen Ding, Krishna Manoorkar, Alessandra Palmigiano, Ruoding Wang
2025	—	`conf`	Normative Implications. DEON Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang
2025	J	`jnl`	Questions as cognitive filters. CoRR Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
2024	J	`jnl`	Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis
2024	C	`conf`	Correspondence Theory on Vector Spaces. WoLLIC Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni
2024	J	`jnl`	Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space. CoRR Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024	—	`conf`	Description Logic for Rough Concepts. IJCRS (1) Krishna Manoorkar, Andrea De Domenico, Alessandra Palmigiano
2024	J	`jnl`	Flexible categorization using formal concept analysis and Dempster-Shafer theory. CoRR Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2024	J	`jnl`	Generating proof systems for three-valued propositional logics. CoRR Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio
2024	—	`conf`	KLM-style Defeasible Reasoning on Concepts. FCA4AI@ECAI Fei Liang, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
2024	J	`jnl`	Modal reduction principles across relational semantics. Fuzzy Sets Syst. Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
2024	J	`jnl`	Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2024	J	`jnl`	Obligations and permissions on selfextensional logics. CoRR Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024	J	`jnl`	Outlier detection using flexible categorization and interrogative agendas. Decis. Support Syst. Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2024	J	`jnl`	Polynomial-time checking of generalized Sahlqvist syntactic shape. Theor. Comput. Sci. Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
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
2023	J	`jnl`	Outlier detection using flexible categorisation and interrogative agendas. CoRR Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2022	B	`ed.`	Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. AiML David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat
2022	J	`jnl`	Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory. CoRR Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2022	J	`jnl`	Modal reduction principles across relational semantics. CoRR Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
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	C	`conf`	Subordination Algebras as Semantic Environment of Input/Output Logic. WoLLIC Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022	J	`jnl`	Subordination Algebras as Semantic Environment of Input/Output Logic. CoRR Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
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`	Modelling socio-political competition. Fuzzy Sets Syst. Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem Wijnberg
2021	J	`jnl`	Rough concepts. Inf. Sci. Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
2021	J	`jnl`	Semi De Morgan Logic Properly Displayed. Stud Logica Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
2021	J	`jnl`	Slanted Canonicity of Analytic Inductive Inequalities. ACM Trans. Comput. Log. Laurent de Rudder, Alessandra Palmigiano
2021	J	`jnl`	Syntactic completeness of proper display calculi. CoRR Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2020	J	`jnl`	Constructive Canonicity of Inductive Inequalities. Log. Methods Comput. Sci. Willem Conradie, Alessandra Palmigiano
2020	J	`jnl`	Toward a Dempster-Shafer theory of concepts. Int. J. Approx. Reason. Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
2020	J	`jnl`	Vector Spaces as Kripke Frames. FLAP Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis
2019	J	`jnl`	Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. Willem Conradie, Alessandra Palmigiano
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`	Modelling Informational Entropy. WoLLIC Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
2019	—	`conf`	Modelling competing theories. EUSFLAT Conf. Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg
2019	C	`conf`	Non Normal Logics: Semantic Analysis and Proof Theory. WoLLIC Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
2019	J	`jnl`	Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
2019	J	`jnl`	Rough concepts. CoRR Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
2019	J	`jnl`	Sahlqvist via Translation. Log. Methods Comput. Sci. Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao
2019	J	`jnl`	Toward a Dempster-Shafer theory of concepts. CoRR Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
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	J	`jnl`	Logics for Social Behaviour: An Editorial. Stud Logica Alessandra Palmigiano, Marcus Pivato
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	J	`jnl`	Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. Willem Conradie, Alessandra Palmigiano, Sumit Sourabh
2017	C	`conf`	Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao
2017	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2017	J	`jnl`	Editorial. J. Log. Comput. Willem Conradie, Alessandra Palmigiano
2017	J	`jnl`	Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. Alessandra Palmigiano, Sumit Sourabh, 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
2017	J	`jnl`	Sahlqvist theory for impossible worlds. J. Log. Comput. Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
2017	B	`conf`	Toward an Epistemic-Logical Theory of Categorization. TARK Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
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`	An Abstract Algebraic Logic View on Judgment Aggregation. CoRR María Esteban, Alessandra Palmigiano, Zhiguang Zhao
2016	C	`conf`	Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
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
2015	J	`jnl`	Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
2015	—	`conf`	An Abstract Algebraic Logic View on Judgment Aggregation. LORI María Esteban, Alessandra Palmigiano, Zhiguang Zhao
2015	J	`jnl`	Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao
2015	—	`conf`	Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. LORI Geghard Bedrosian, Alessandra Palmigiano, Zhiguang Zhao
2015	—	`conf`	Probabilistic Epistemic Updates on Algebras. LORI Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
2014	J	`jnl`	Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. Minghui Ma, Alessandra Palmigiano, Mehrnoosh Sadrzadeh
2014	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2014	J	`jnl`	Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. Marta Bílková, Alessandra Palmigiano, Yde Venema
2014	—	`ch.`	Unified Correspondence. Johan van Benthem on Logic and Information Dynamics Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano
2013	—	`conf`	Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
2013	—	`conf`	Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh
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
2013	J	`jnl`	Epistemic Updates on Algebras. Log. Methods Comput. Sci. Alexander Kurz, Alessandra Palmigiano
2013	J	`jnl`	Relational Representation of Groupoid Quantales. Order Alessandra Palmigiano, Riccardo Re
2013	J	`jnl`	Δ1-completions of a Poset. Order Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2012	J	`jnl`	Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. Willem Conradie, Alessandra Palmigiano
2011	—	`conf`	Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI Mehrnoosh Sadrzadeh, Alessandra Palmigiano, Minghui Ma
2010	J	`jnl`	Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Log. Mai Gehrke, Ramon Jansana, Alessandra Palmigiano
2010	J	`jnl`	Coalgebra and Logic: A Brief Overview. J. Log. Comput. Alexander Kurz, Alessandra Palmigiano, Yde Venema
2010	J	`jnl`	Topological Groupoid Quantales. Stud Logica Alessandra Palmigiano, R. Re
2008	B	`conf`	Proof systems for the coalgebraic cover modality. Advances in Modal Logic Marta Bílková, Alessandra Palmigiano, Yde Venema
2007	B	`conf`	Nabla Algebras and Chu Spaces. CALCO Alessandra Palmigiano, Yde Venema
2006	J	`jnl`	Referential semantics: duality and applications. Reports Math. Log. Ramon Jansana, Alessandra Palmigiano
2005	J	`jnl`	Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
2004	J	`jnl`	A coalgebraic view on positive modal logic. Theor. Comput. Sci. Alessandra Palmigiano
2004	—	`conf`	Coalgebras and Modal Expansions of Logics. CMCS Alexander Kurz, Alessandra Palmigiano
2003	—	`conf`	Coalgebraic Semantics for Positive Modal Logic. CMCS Alessandra Palmigiano
2002	—	`conf`	Abstract Logics as Dialgebras. CMCS Alessandra Palmigiano
2000	J	`jnl`	Normal Gentzen Deductions in the Classical Case. Log. J. IGPL Alessandra Palmigiano
1999	—	`conf`	Normality for Gentzen systems in the classical case. ESSLLI Student Papers Alessandra Palmigiano