![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Alessandra Palmigiano
Person information
- affiliation: Delft University of Technology, The Netherlands
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j43]Marcel Boersma, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere
, Apostolos Tzimoulis
, Nachoem Wijnberg:
Outlier detection using flexible categorization and interrogative agendas. Decis. Support Syst. 180: 114196 (2024) - [j42]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: 108892 (2024) - [j41]Willem Conradie
, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere
:
Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics 34(2-3): 174-222 (2024) - [j40]Giuseppe Greco
, Peter Jipsen
, Fei Liang
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. 25(1): 6:1-6:37 (2024) - [c32]Krishna Manoorkar, Andrea De Domenico, Alessandra Palmigiano:
Description Logic for Rough Concepts. IJCRS (1) 2024: 67-89 - [c31]Alessandra Palmigiano
, Mattia Panettiere
, Ni Wayan Switrayni
:
Correspondence Theory on Vector Spaces. WoLLIC 2024: 140-156 - [i20]Vitor Greati, Giuseppe Greco, Sérgio Marcelino, Alessandra Palmigiano, Umberto Rivieccio:
Generating proof systems for three-valued propositional logics. CoRR abs/2401.03274 (2024) - [i19]Andrea De Domenico, Ali Farjami, Krishna Manoorkar
, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang:
Obligations and permissions on selfextensional logics. CoRR abs/2402.07336 (2024) - 2023
- [j39]Giuseppe Greco
, Alessandra Palmigiano
:
Linear Logic Properly Displayed. ACM Trans. Comput. Log. 24(2): 13:1-13:56 (2023) - [c30]Ineke van der Berg
, Andrea De Domenico
, Giuseppe Greco
, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere
:
Labelled Calculi for Lattice-Based Modal Logics. ICLA 2023: 23-47 - [c29]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: 172-188 - [c28]Ineke van der Berg
, Andrea De Domenico
, Giuseppe Greco
, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere
:
Non-distributive Description Logic. TABLEAUX 2023: 49-69 - [i18]Marcel Boersma, Krishna Manoorkar
, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg:
Outlier detection using flexible categorisation and interrogative agendas. CoRR abs/2312.12010 (2023) - 2022
- [j38]Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Non-normal modal logics and conditional logics: Semantic analysis and proof theory. Inf. Comput. 287: 104756 (2022) - [j37]Jinsheng Chen
, Giuseppe Greco
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Syntactic Completeness of Proper Display Calculi. ACM Trans. Comput. Log. 23(4): 23:1-23:46 (2022) - [c27]Andrea De Domenico, Ali Farjami, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere, Xiaolong Wang:
Subordination Algebras as Semantic Environment of Input/Output Logic. WoLLIC 2022: 326-343 - [e1]David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. College Publications 2022, ISBN 978-1-84890-413-2 [contents] - [i17]Willem Conradie, Andrea De Domenico, Krishna Manoorkar
, Alessandra Palmigiano
, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
:
Modal reduction principles across relational semantics. CoRR abs/2202.00899 (2022) - [i16]Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis:
Unified inverse correspondence for DLE-Logics. CoRR abs/2203.09199 (2022) - [i15]Andrea De Domenico, Ali Farjami, Krishna Manoorkar
, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang:
Subordination Algebras as Semantic Environment of Input/Output Logic. CoRR abs/2205.13903 (2022) - [i14]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 abs/2210.17330 (2022) - 2021
- [j36]Willem Conradie
, Alessandra Palmigiano
, Claudette Robinson, Apostolos Tzimoulis
, Nachoem Wijnberg:
Modelling socio-political competition. Fuzzy Sets Syst. 407: 115-141 (2021) - [j35]Willem Conradie
, Sabine Frittella
, Krishna Manoorkar
, Sajad Nazari, Alessandra Palmigiano
, Apostolos Tzimoulis
, Nachoem M. Wijnberg:
Rough concepts. Inf. Sci. 561: 371-413 (2021) - [j34]Giuseppe Greco
, Fei Liang
, M. Andrew Moshier, Alessandra Palmigiano
:
Semi De Morgan Logic Properly Displayed. Stud Logica 109(1): 1-45 (2021) - [j33]Laurent de Rudder
, Alessandra Palmigiano
:
Slanted Canonicity of Analytic Inductive Inequalities. ACM Trans. Comput. Log. 22(3): 18:1-18:41 (2021) - [i13]Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis:
Syntactic completeness of proper display calculi. CoRR abs/2102.11641 (2021) - 2020
- [j32]Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano, Apostolos Tzimoulis:
Vector Spaces as Kripke Frames. FLAP 7(5): 853-873 (2020) - [j31]Sabine Frittella
, Krishna Manoorkar
, Alessandra Palmigiano
, Apostolos Tzimoulis
, Nachoem Wijnberg:
Toward a Dempster-Shafer theory of concepts. Int. J. Approx. Reason. 125: 14-25 (2020) - [j30]Willem Conradie, Alessandra Palmigiano:
Constructive Canonicity of Inductive Inequalities. Log. Methods Comput. Sci. 16(3) (2020)
2010 – 2019
- 2019
- [j29]Willem Conradie
, Alessandra Palmigiano
:
Algorithmic correspondence and canonicity for non-distributive logics. Ann. Pure Appl. Log. 170(9): 923-974 (2019) - [j28]Giuseppe Greco
, Fei Liang, Alessandra Palmigiano
, Umberto Rivieccio:
Bilattice logic properly displayed. Fuzzy Sets Syst. 363: 138-155 (2019) - [j27]Willem Conradie
, Alessandra Palmigiano
, Zhiguang Zhao
:
Sahlqvist via Translation. Log. Methods Comput. Sci. 15(1) (2019) - [j26]Willem Conradie
, Sabine Frittella
, Alessandra Palmigiano
, Apostolos Tzimoulis
, Nachoem Wijnberg:
Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. 20(4): 24:1-24:75 (2019) - [c26]Willem Conradie, Andrew Craig
, Alessandra Palmigiano
, Nachoem Wijnberg:
Modelling competing theories. EUSFLAT Conf. 2019 - [c25]Giuseppe Greco
, Peter Jipsen, Krishna Manoorkar
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Logics for Rough Concept Analysis. ICLA 2019: 144-159 - [c24]Jinsheng Chen, Giuseppe Greco
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Non Normal Logics: Semantic Analysis and Proof Theory. WoLLIC 2019: 99-118 - [c23]Willem Conradie
, Andrew Craig
, Alessandra Palmigiano
, Nachoem M. Wijnberg:
Modelling Informational Entropy. WoLLIC 2019: 140-160 - [i12]Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg:
Rough concepts. CoRR abs/1907.00359 (2019) - [i11]Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg:
Toward a Dempster-Shafer theory of concepts. CoRR abs/1908.05145 (2019) - [i10]Giuseppe Greco, Fei Liang, Michael Moortgat, Alessandra Palmigiano:
Vector spaces as Kripke frames. CoRR abs/1908.05528 (2019) - 2018
- [j25]Giuseppe Greco
, Minghui Ma
, Alessandra Palmigiano
, Apostolos Tzimoulis
, Zhiguang Zhao
:
Unified correspondence as a proof-theoretic tool. J. Log. Comput. 28(7): 1367-1442 (2018) - [j24]Marta Bílková
, Giuseppe Greco
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
The Logic of Resources and Capabilities. Rev. Symb. Log. 11(2): 371-410 (2018) - [j23]Alessandra Palmigiano
, Marcus Pivato:
Logics for Social Behaviour: An Editorial. Stud Logica 106(5): 889-891 (2018) - [c22]Samuel Balco
, Sabine Frittella
, Giuseppe Greco
, Alexander Kurz
, Alessandra Palmigiano
:
Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP 2018: 48-67 - [c21]Giuseppe Greco
, Fei Liang, Krishna Manoorkar
, Alessandra Palmigiano
:
Proper Multi-Type Display Calculi for Rough Algebras. LSFA 2018: 101-118 - [i9]Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis:
Logics for Rough Concept Analysis. CoRR abs/1811.07149 (2018) - 2017
- [j22]Willem Conradie
, Alessandra Palmigiano
, Sumit Sourabh
:
Algebraic modal correspondence: Sahlqvist and beyond. J. Log. Algebraic Methods Program. 91: 60-84 (2017) - [j21]Willem Conradie
, Alessandra Palmigiano
:
Editorial. J. Log. Comput. 27(3): 607-608 (2017) - [j20]Sabine Frittella
, Alessandra Palmigiano
, Luigi Santocanale
:
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. 27(3): 639-678 (2017) - [j19]Alessandra Palmigiano
, Sumit Sourabh, Zhiguang Zhao
:
Sahlqvist theory for impossible worlds. J. Log. Comput. 27(3): 775-816 (2017) - [j18]Alessandra Palmigiano
, Sumit Sourabh, Zhiguang Zhao
:
Jónsson-style canonicity for ALBA-inequalities. J. Log. Comput. 27(3): 817-865 (2017) - [c20]Willem Conradie
, Andrew Craig
, Alessandra Palmigiano
, Zhiguang Zhao
:
Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC 2017: 92-109 - [c19]Giuseppe Greco
, Alessandra Palmigiano
:
Lattice Logic Properly Displayed. WoLLIC 2017: 153-169 - [c18]Giuseppe Greco
, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
:
Multi-type Display Calculus for Semi De Morgan Logic. WoLLIC 2017: 199-215 - [c17]Willem Conradie
, Sabine Frittella
, Alessandra Palmigiano
, Michele Piazzai, Apostolos Tzimoulis
, Nachoem Wijnberg:
Toward an Epistemic-Logical Theory of Categorization. TARK 2017: 167-186 - 2016
- [j17]Sabine Frittella
, Giuseppe Greco
, Alexander Kurz
, Alessandra Palmigiano
, Vlasta Sikimic
:
A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26(6): 1961-2015 (2016) - [j16]Sabine Frittella, Giuseppe Greco
, Alexander Kurz
, Alessandra Palmigiano
, Vlasta Sikimic
:
Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26(6): 2017-2065 (2016) - [j15]Sabine Frittella
, Giuseppe Greco
, Alexander Kurz
, Alessandra Palmigiano
:
Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26(6): 2067-2104 (2016) - [c16]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: 145-164 - [c15]Sabine Frittella
, Giuseppe Greco
, Alessandra Palmigiano
, Fan Yang:
A Multi-type Calculus for Inquisitive Logic. WoLLIC 2016: 215-233 - [i8]Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano:
Tool support for reasoning in display calculi. CoRR abs/1601.01113 (2016) - [i7]Giuseppe Greco, Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao:
Unified Correspondence as a Proof-Theoretic Tool. CoRR abs/1603.08204 (2016) - [i6]María Esteban, Alessandra Palmigiano, Zhiguang Zhao:
An Abstract Algebraic Logic View on Judgment Aggregation. CoRR abs/1603.08206 (2016) - [i5]Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
:
Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR abs/1604.00936 (2016) - [i4]Giuseppe Greco, Alessandra Palmigiano:
Linear Logic Properly Displayed. CoRR abs/1611.04181 (2016) - [i3]Giuseppe Greco, Alessandra Palmigiano:
Lattice Logic Properly Displayed. CoRR abs/1612.05930 (2016) - 2015
- [j14]Willem Conradie
, Yves Fomatati, Alessandra Palmigiano
, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus. Theor. Comput. Sci. 564: 30-62 (2015) - [c14]Geghard Bedrosian, Alessandra Palmigiano
, Zhiguang Zhao
:
Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention. LORI 2015: 27-39 - [c13]Willem Conradie
, Sabine Frittella
, Alessandra Palmigiano
, Apostolos Tzimoulis
:
Probabilistic Epistemic Updates on Algebras. LORI 2015: 64-76 - [c12]María Esteban, Alessandra Palmigiano
, Zhiguang Zhao
:
An Abstract Algebraic Logic View on Judgment Aggregation. LORI 2015: 77-89 - [i2]Willem Conradie, Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao:
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA. CoRR abs/1511.04271 (2015) - 2014
- [j13]Minghui Ma
, Alessandra Palmigiano
, Mehrnoosh Sadrzadeh
:
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Log. 165(4): 963-995 (2014) - [j12]Marta Bílková
, Alessandra Palmigiano
, Yde Venema:
Proof systems for Moss' coalgebraic logic. Theor. Comput. Sci. 549: 36-60 (2014) - [p1]Willem Conradie
, Silvio Ghilardi, Alessandra Palmigiano
:
Unified Correspondence. Johan van Benthem on Logic and Information Dynamics 2014: 933-975 - [i1]Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale:
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR abs/1408.1843 (2014) - 2013
- [j11]Alexander Kurz, Alessandra Palmigiano:
Epistemic Updates on Algebras. Log. Methods Comput. Sci. 9(4) (2013) - [j10]Mai Gehrke, Ramon Jansana
, Alessandra Palmigiano
:
Δ1-completions of a Poset. Order 30(1): 39-64 (2013) - [j9]Alessandra Palmigiano
, Riccardo Re
:
Relational Representation of Groupoid Quantales. Order 30(1): 65-83 (2013) - [c11]Giuseppe Greco
, Alexander Kurz
, Alessandra Palmigiano
:
Dynamic Epistemic Logic Displayed. LORI 2013: 135-148 - [c10]Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1. TACL 2013: 52-56 - [c9]Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh:
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2. TACL 2013: 57-60 - [c8]Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano:
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. TACL 2013: 85-87 - 2012
- [j8]Willem Conradie
, Alessandra Palmigiano
:
Algorithmic correspondence and canonicity for distributive modal logic. Ann. Pure Appl. Log. 163(3): 338-376 (2012) - 2011
- [c7]Mehrnoosh Sadrzadeh
, Alessandra Palmigiano
, Minghui Ma
:
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI 2011: 394-395 - 2010
- [j7]Mai Gehrke, Ramon Jansana
, Alessandra Palmigiano
:
Canonical extensions for congruential logics with the deduction theorem. Ann. Pure Appl. Log. 161(12): 1502-1519 (2010) - [j6]Alexander Kurz
, Alessandra Palmigiano
, Yde Venema:
Coalgebra and Logic: A Brief Overview. J. Log. Comput. 20(5): 985-990 (2010) - [j5]Alessandra Palmigiano
, R. Re:
Topological Groupoid Quantales. Stud Logica 95(1-2): 125-137 (2010)
2000 – 2009
- 2008
- [c6]Marta Bílková, Alessandra Palmigiano, Yde Venema:
Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21 - 2007
- [c5]Alessandra Palmigiano, Yde Venema:
Nabla Algebras and Chu Spaces. CALCO 2007: 394-408 - 2006
- [j4]Ramon Jansana, Alessandra Palmigiano:
Referential semantics: duality and applications. Reports Math. Log. 41: 63-93 (2006) - 2005
- [j3]J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
:
Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3): 713-740 (2005) - 2004
- [j2]Alessandra Palmigiano
:
A coalgebraic view on positive modal logic. Theor. Comput. Sci. 327(1-2): 175-195 (2004) - [c4]Alexander Kurz
, Alessandra Palmigiano
:
Coalgebras and Modal Expansions of Logics. CMCS 2004: 243-259 - 2003
- [c3]Alessandra Palmigiano
:
Coalgebraic Semantics for Positive Modal Logic. CMCS 2003: 221-236 - 2002
- [c2]Alessandra Palmigiano
:
Abstract Logics as Dialgebras. CMCS 2002: 254-269 - 2000
- [j1]Alessandra Palmigiano:
Normal Gentzen Deductions in the Classical Case. Log. J. IGPL 8(2): 211-219 (2000)
1990 – 1999
- 1999
- [c1]Alessandra Palmigiano:
Normality for Gentzen systems in the classical case. ESSLLI Student Papers 1999: 111-123
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint