Alessandra Palmigiano

Principal investigator

Alessandra Palmigiano_Applied Logic TU Delft
CV.pdf
a.palmigiano@tudelft.nl | +31 15 278 7189 | TU Delft / TPM / building 31 / room b3.370
Google site | academia.edu | LinkedIn | CV.pdf

PUBLICATIONS
2016
International journals
> G. Greco, Minghui Ma, A. Palmigiano, A. Tzimoulis, Z. Zhao, Unified Correspondence as a Proof-Theoretic Tool, Journal of Logic and Computation, Special Issue on Canonicity and Correspondence for Nonclassical Logics (2016), forthcoming.
[available on request]

2015
International journals
> S. Frittella, A. Palmigiano, L. Santocanale, Dual Characterizations for Finite Lattices via Correspondence Theory for Monotone Modal Logic, Journal of Logic and Computation, Special issue on Canonicity and Correspondence for Nonclassical Logics (2015), forthcoming.
[preliminary version]

> A. Palmigiano, S. Sourabh, Z. Zhao, Jónsson-style Canonicity for ALBA-Inequalities, Journal of Logic and Computation, Special issue on Canonicity and Correspondence for Nonclassical Logics (2015), DOI:10.1093/logcom/exv041 (2015).
Paper.pdf

> A. Palmigiano, S. Sourabh, Z. Zhao, Sahlqvist Theory for Impossible Worlds, Journal of Logic and Computation, Special Issue on Canonicity and Correspondence for Nonclassical Logics (2015), forthcoming.
[available on request]

> W. Conradie, Y. Fomatati, A. Palmigiano, S. Sourabh, Algorithmic Correspondence for Intuitionistic Modal Mu-calculus, Theoretical Computer Science, 564:30-62 (2015).
Paper.pdf

Articles in refereed conference proceedings
> G. Bedrosian, A. Palmigiano, Z. Zhao, Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention, Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI, LNCS 9394, pp. 27-39 (2015).
Paper.pdf

> W. Conradie, S. Frittella, A. Palmigiano, A. Tzimoulis, Probabilistic Epistemic Updates on Algebras, Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI, LNCS 9394, pp. 64-76 (2015).
Paper.pdf

> M. Esteban, A. Palmigiano, Z. Zhao, An Abstract Algebraic Logic view on Judgment Aggregation, Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI, LNCS 9394, pp. 77-89 (2015).
Paper.pdf

2014
International journals
> W. Conradie, A. Palmigiano, Algorithmic Correspondence and Canonicity for Non-Distributive Logics, Journal of Logic and Computation, Special issue on Canonicity and Correspondence for Nonclassical Logics (2014), forthcoming.
[available on request]

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Multi-type Display Calculus for Propositional Dynamic Logic, Special issue on Substructural logic and information dynamics (2014), DOI:10.1093/logcom/exu064, JLC webpage.
Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, Multi-type Display Calculus for Dynamic Epistemic Logic, Journal of Logic and Computation, Special issue on Substructural logic and information dynamics (2014), DOI:10.1093/logcom/exu068, JLC webpage.
Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic, Journal of Logic and Computation, Special issue on Substructural logic and information dynamics (2014), DOI:10.1093/logcom/exu063, JLC webpage.
Paper.pdf

> W. Conradie, S. Ghilardi, A. Palmigiano, Unified Correspondence, Johan van Benthem on Logic and Information Dynamics, Springer series Outstanding Contributions to Logic, edited by A. Baltag and S. Smets, Springer (2014).
Paper.pdf

> M. Ma, A. Palmigiano, M. Sadrzadeh, Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic, Annals of Pure and Applied Logic, 165:963-995 (2014).
Paper.pdf

> M. Bílková, A. Palmigiano, Y. Venema, Proof Systems for Moss' Coalgebraic Logic, Theoretical Computer Sciences, 549:36-60 (2014).
Paper.pdf

Articles in refereed conference proceedings
> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, V. Sikimić, Multi-type Sequent Calculi, Proceedings Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek, M. Zawidski eds, p 81-93 (2014).
Paper.pdf

2013
International journals
> A. Kurz, A. Palmigiano, Epistemic Updates on Algebras, Logical Methods in Computer Science, 9(4), http://arxiv.org/abs/1307.0417 (2013).
Paper.pdf

> A. Palmigiano, R. Re, Relational Representation of Groupoid Quantales, Order, 30(1): 65-83, Springer Netherlands, http://dx.doi.org/10.1007/s11083-011-9227-z (2013).
Paper.pdf

Refereed conference proceedings
> G. Greco, A. Kurz, A. Palmigiano, Dynamic Epistemic Logic Displayed, Proc. Fourth International Workshop on Logic, Rationality and Interaction (LORI 2013), Huaxin Huang, Davide Grossi, Olivier Roy eds (2013).
Paper.pdf

2012
International journals
> W. Conradie, A. Palmigiano, Algorithmic Correspondence and Canonicity for Distributive Modal Logic, Annals of Pure and Applied Logic, 163:338-376 (2012).
Paper.pdf

2011
International journals
> M. Gehrke, R. Jansana, A. Palmigiano, Delta1-Completions of a Poset, Order, 30(1):39-64, Springer Netherlands, http://dx.doi.org/10.1007/s11083-011-9226-0 (2011).
Paper.pdf

> A. Palmigiano, R. Re, Groupoid Quantales: a Non Étale Setting, Journal of Pure and Applied Algebra, 215(8):1945-1957 (2011).
Paper.pdf

2010
International journals
> M. Gehrke, R. Jansana, A. Palmigiano, Canonical Extensions for Congruential Logics with the Deduction Theorem, Annals of Pure and Applied Logic 161(12):1502-1519 (2010).
Paper.pdf

> A. Palmigiano, R. Re, Topological Groupoid Quantales, Special issue "The Contributions of Logic to the Foundations of Physics", D. Aerts, S. Smets and J.P. van Bendegem eds, Studia Logica, 95:125-137 (2010).
Paper.pdf

2008
Refereed conference proceedings
> M. Bílková, A. Palmigiano, Y. Venema, Proof Systems for the Coalgebraic Cover Modality, Advances in Modal Logic, 7:1-21, Areces and Goldblatt eds (2008).
Paper.pdf

2007
Refereed conference proceedings
> A. Palmigiano, Y. Venema, Nabla Algebras and Chu Spaces, Proceedings of CALCO 2007, Springer Lecture Notes in Computer Science, 4624:394-408 (2007).
Paper.pdf

2006
International journals
> R. Jansana, A. Palmigiano, Referential semantics: duality and applications, Reports on Mathematical Logic, 41:63-93 (2006).
Paper.pdf

2005
International journals
> M. Dunn, M. Gehrke and A. Palmigiano, Canonical Extensions of Ordered Algebraic Structures and Relational Completeness of Some Substructural Logics, Journal of Symbolic Logic, 70(3):713-740 (2005).
Paper.pdf

2004
International journals
> A. Palmigiano, A Coalgebraic View on Positive Modal Logic, Theoretical Computer Science, 327:175-195 (2004).
Paper.pdf

Refereed conference proceedings
> A. Kurz, A. Palmigiano, Coalgebras and Modal Expansions of Logics, Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), 106:243-259 (2004).
Paper.pdf

> A. Palmigiano, Dualities for Intuitionistic Modal Logics, Dick de Jongh's Liber Amicorum, ILLC Publications (2004).
Paper.pdf

2000
International journals
> A. Palmigiano, Normal Gentzen Deductions in the Classical Case, Logic Journal of the IGPL, 8(2):211-219 (2000).

WORKING PAPERS
Proof assistants
> S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Tool Support for Reasoning in Display Calculi, preliminary version.
Paper.pdf.

Correspondence and canonicity
> W. Conradie, A. Palmigiano, S. Sourabh, Algebraic Modal Correspondence: Sahlqvist and Beyond, submitted.
Paper.pdf

> W. Conradie, A. Palmigiano, S. Sourabh, Z. Zhao, Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA, submitted.
[available on request]

Logics for categorization
> M. Kackovic, M. Piazzai, N.M. Wijnberg, A. Palmigiano, Status, Signals and Sequences of Signals: Determinants of the First Affiliation with a Higher Status Core Gatekeeper, 30th EGOS, Rotterdam (2014), accepted.
[available on request]