Alessandra Palmigiano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
6
Active years
2007–2024
Best venue rank
C
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | WoLLIC | Correspondence Theory on Vector Spaces. | Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni |
| 2023 | TABLEAUX | Non-distributive Description Logic. | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
| 2022 | WoLLIC | Subordination Algebras as Semantic Environment of Input/Output Logic. | Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang |
| 2019 | EUSFLAT | Modelling competing theories. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem Wijnberg |
| 2019 | WoLLIC | Non Normal Logics: Semantic Analysis and Proof Theory. | Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis |
| 2019 | WoLLIC | Modelling Informational Entropy. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
| 2018 | ITP | Software Tool Support for Modular Reasoning in Modal Logics of Actions. | Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano |
| 2017 | WoLLIC | Constructive Canonicity for Lattice-Based Fixed Point Logics. | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
| 2017 | WoLLIC | Multi-type Display Calculus for Semi De Morgan Logic. | Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
| 2017 | WoLLIC | Lattice Logic Properly Displayed. | Giuseppe Greco, Alessandra Palmigiano |
| 2016 | WoLLIC | Categories: How I Learned to Stop Worrying and Love Two Sorts. | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
| 2016 | WoLLIC | A Multi-type Calculus for Inquisitive Logic. | Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang |
| 2008 | AiML | Proof systems for the coalgebraic cover modality. | Marta Blkov, Alessandra Palmigiano, Yde Venema |
| 2007 | CALCO | Nabla Algebras and Chu Spaces. | Alessandra Palmigiano, Yde Venema |