Alessandra Palmigiano

Principal investigator

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

PUBLICATIONS
2017
International journals
> M. Bílková, G. Greco, A. Palmigiano, A. Tzimoulis, N.M. Wijnberg, The logic of resources and capabilities, Review of Symbolic Logic (2017), forthcoming. ArXiv preprint 1608.02222

> A. Palmigiano, S. Sourabh, Z. Zhao, Jónsson-style canonicity for ALBA-inequalities, Journal of Logic and Computation, 27 (3), 817-865, 2017. doi: 10.1093/logcom/exv041

> A. Palmigiano, S. Sourabh, Z. Zhao, Sahlqvist theory for impossible worlds, Journal of Logic and Computation, 27 (3), 775-816, 2017. doi: 10.1093/logcom/exw014

> S. Frittella, A. Palmigiano, L. Santocanale, Dual characterizations for finite lattices via correspondence theory for monotone modal logic, Journal of Logic and Computation, 27 (3), 639-678, 2017. doi: 10.1093/logcom/exw011

> W. Conradie, A. Palmigiano, S. Sourabh, Algebraic modal correspondence: Sahlqvist and beyond, Journal of Logical and Algebraic Methods in Programming, 91, 60-84, 2017. doi: 10.1016/j.jlamp.2016.10.006

Articles in refereed conference proceedings
> W. Conradie, S. Frittella, A. Palmigiano, M. Piazzai, A. Tzimoulis, N. Wijnberg, Toward an epistemic-logical theory of categorization, Proc. TARK 2017, J. Lang ed., Electronic Proceedings in Theoretical Computer Science, vol. 251, p. 170-189, 2017.

> G. Greco, A. Palmigiano, Lattice logic properly displayed, Proc. WoLLIC 2017, J. Kennedy, R. de Queiroz eds, pp. 153-169, 2017.

> G. Greco, F. Liang, A. Moshier, A. Palmigiano, Multi-type display calculus for semi De Morgan logic, Proc. WoLLIC 2017, J. Kennedy, R. de Queiroz eds, pp. 199-215, 2017.

> W. Conradie, A. Craig, A. Palmigiano, Z. Zhao, Constructive canonicity for lattice-based fixed point logics, Proc. WoLLIC 2017, J. Kennedy, R. de Queiroz eds, pp. 92-109, 2017. ArXiv preprint 1603.06547

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 (2016). doi: 10.1093/logcom/exw022

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Multi-type display calculus for propositional dynamic logic, Journal of Logic and Computation, (2016) 26 (6): 2067-2104.
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, (2016) 26 (6): 2017-2065.
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, (2016) 26 (6): 1961-2015.
Paper.pdf

Articles in refereed conference proceedings
> S. Frittella, G. Greco, A. Palmigiano, F. Yang, A multi-type calculus for inquisitive logic, Proc. WoLLIC 2016, J. Väänänen, A. Hirvonen, R. de Queiroz eds, LNCS 9803, pp. 215-233, 2016. ArXiv preprint 1604.00936.

> W. Conradie, S. Frittella, A. Palmigiano, M. Piazzai, A. Tzimoulis, N. Wijnberg, Categories: How I Learned to Stop Worrying and Love Two Sorts. Proc. WoLLIC 2016, J. Väänänen, A. Hirvonen, R. de Queiroz eds, LNCS 9803, pp. 145-164, 2016. ArXiv preprint 1604.00777.

2015
International journals
> W. Conradie, Y. Fomatati, A. Palmigiano, S. Sourabh, Correspondence theory for intuitionistic modal mu-calculus, Theoretical Computer Science, 564 (2015), 30-62.

2014
International journals
> 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, p. 933-975, 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

> 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, 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
> 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, Z. Zhao, Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA, submitted.
[available on request]

Bilattices
> F.Liang, G. Greco, A. Palmigiano, U. Rivieccio, Bilattice logic properly displayed, submitted.