PUBLICATIONS

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

> G. Greco, F. Liang, A. Palmigiano, U. Rivieccio, Bilattice Logic Properly Displayed,
Fuzzy Sets and Systems (2018), forthcoming. ArXiv preprint 1709.02167

Articles in refereed conference proceedings
> S. Balco, S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Software tool support for
modular reasoning in modal logics of actions
, Proc. ITP 2018, forthcoming.

2017
International journals

> 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
[Paper.pdf]

> 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

> F. Yang, Modal Dependence Logics: Axiomatizations and Model-theoretic Properties, Logic Journal of the IGPL, Volume 25, Issue 5, 1 October 2017, pp. 773–805.
https://doi:10.1093/jigpal/jzx023

> F. Yang and J. Väänänen, Propositional Team Logics, Annals of Pure and Applied Logic, Volume 168, Issue 7, July 2017, pp. 1406–1441.
http://dx.doi.org/10.1016/j.apal.2017.01.007

> F. Yang, Uniform Definability in Propositional Dependence Logic, Review of Symbolic Logic, Volume 10, Issue 1, March 2017, pp. 65-79.
doi:10.1017/S1755020316000459

> M. Ma, Z. Zhao, Unified correspondence and proof theory for strict implication, Journal of Logic and Computation, 27 (3), pp. 921-960, 2017.
[available on request]

Articles in refereed conference proceedings
> N. Bezhanishvili, D. de Jongh, A. Tzimoulis, Z. Zhao, Universal models for the positive fragment of intuitionistic logic, Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, LNCS 10148, pp.229-250, 2017.

> 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, pp.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

> Z. Zhao, Algorithmic Sahlqvist preservation for modal compact Hausdorff spaces, Proc. WoLLIC 2017, J. Kennedy, R. de Queiroz eds, pp. 387-400, 2017.

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, DOI: 10.1093/logcom/exw022, 2016.
Arxiv:1603.08204 | Paper.pdf

> S. Frittella, G. Greco, A. Kurz, A. Palmigiano, Multi-type Display Calculus for Propositional Dynamic Logic, Special issue on Substructural logic and information dynamics, Volume 26 (6): 2067-2104, 2016.
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, Volume 26 (6): 2017-2065, 2016.
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, Volume 26 (6): 1961-2015, 2016.
JLC webpage | Paper.pdf

> S. Frittella, A. Palmigiano, L. Santocanale, Dual Characterizations for Finite Lattices via Correspondence Theory for Monotone Modal Logic, Journal of Logic and Computation, doi: 10.1093/logcom/exw014 (2016).
[Paper.pdf]

> R. Iemhoff and F. Yang, Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic, November 2016, Volume 55, Issue 7, pp. 955–975, doi: 10.1007/s00153-016-0505-8

> F. Yang and J. Väänänen, Propositional Logics of Dependence, Annals of Pure and Applied Logic, Volume 167, Issue 7, July 2016, pp. 557–589, dx.doi.org/10.1016/j.apal.2016.03.003

Articles in refereed conference proceedings
> S. Frittella, G. Greco, A. Palmigiano, F. Yang, A Multi-type Calculus for Inquisitive Logic, Proc. WoLLIC (2016).
Paper.pdf

>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).
Paper.pdf

>F. Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, Proc. WoLLIC (2016), LNCS 9803, Springger-Verlag, 2016, pp. 410-431
Paper.pdf

Refereed book chapters
> E. Pacuit and F. Yang, Dependence and Independence in Social Choice: Arrow’s Theorem, in S. Abramsky, J. Kontinen, H. Vollmer and J. Väänänen, eds, Dependence Logic: Theory and Application, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp. 235-260, doi: 10.1007/978-3-319-31803-5_11

> J. Ilin, D. de Jongh and F. Yang, NNIL Axioms Have the Finite Model Property, in J. van Eijck, R. Iemhoff and J. J. Joosten, eds, Liber Amicorum Alberti, Tributes Volume 30, College publications, 2016, pp. 177-185
Paper.pdf

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

Articles in refereed conference proceedings
> Z. Bakhtiari, U. Rivieccio, Epistemic updates on bilattices, Proceedings of the Fifth International Workshop on Logic, Rationality and Interaction - LORI, LNCS 9394, pp. 426-8 (2015).
Paper.pdf

> 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

> D. de Jongh, Z. Zhao, Positive Formulas in Intuitionistic and Minimal Logic, Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, LNCS 8984, pp. 175-189 (2015).
Paper.pdf

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, pp. 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

> U. Rivieccio, R. Jansana, Dualities for Modal N4-lattices, Logic Journal of the IGPL, doi: 10.1093/jigpal/jzu002 (2014).
Paper.pdf

> U. Rivieccio, Implicative Twist-structures, Algebra Universalis, 71(2):155-186 (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

> U. Rivieccio, Bilattice Public Announcement Logic, Proc. AiML 10 (2014).
Paper.pdf

> U. Rivieccio, Algebraic Semantics for Bilattice Public Announcement Logic, Studia Logica, Proc. Trends in Logic XIII, Springer (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

Articles in refereed conference proceedings

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

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, Algorithmic Correspondence and Canonicity for Non-Distributive Logics, Journal of Logic and Computation (2014), submitted.
[Paper.pdf]

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

> W. Conradie, A. Palmigiano, Z. Zhao, Sahlqvist via Translation, submitted.
[preliminary version]

> W. Conradie, A. Palmigiano, Constructive Canonicity for Inductive Inequalities, submitted.
[preliminary version]

> Z. Zhao, Algorithmic Correspondence and canonicity in Possibility semantics, in preparation.

> Z. Zhao, A correspondence Theorem for Sabotage Modal Logic, in preparation.

Bilattices
> U. Rivieccio, A. Jung, R. Jansana, Four-valued Modal Logic: Kripke Semantics and Duality, submitted.
[available on request]

Substructural logics
> U. Rivieccio, R. Rodríguez, Łukasiewicz Public Announcement Logic, in preparation.