PUBLICATIONS

2017
International journals
> F. Yang, Modal Dependence Logics: Axiomatizations and Model-theoretic Properties, Logic Journal of the IGPL, accepted, 2017 (arXiv version)

> 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

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, doi: 10.1093/logcom/exw022, (2016).
[Paper.pdf]

> A. Palmigiano, S. Sourabh, Z. Zhao, Sahlqvist Theory for Impossible Worlds, Journal of Logic and Computation, doi: 10.1093/logcom/exw014 (2016).
[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]

> M. Ma, Z. Zhao, Unified Correspondence and Proof Theory for Strict Implication, Journal of Logic and Computation (2016), forthcoming.
[available on request]

> 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
> A. Palmigiano, S. Sourabh, Z. Zhao, Jónsson-style Canonicity for ALBA-Inequalities, Journal of Logic and Computation, doi: 10.1093/logcom/exv041 (2015).
Paper.pdf

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

> 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
> 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, A. Palmigiano, Algorithmic Correspondence and Canonicity for Non-Distributive Logics, Journal of Logic and Computation (2014), forthcoming.
[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, doi: 10.1093/logcom/exu064 (2014).
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, doi:10.1093/logcom/exu068 (2014).
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, doi: 10.1093/logcom/exu063 (2014).
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

> 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

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
> K. Yamamoto, Z. Zhao, Algorithmic Correspondence, canonicity and completeness in Possibility semantics, in preparation.

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

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

> W. Conradie, A. Craig, A. Palmigiano, Z. Zhao, Constructive canonicity for lattice-based fixed point logics, submitted.
[preliminary version]

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]

Display-type sequent calculi
> S. Frittella, G. Greco, Display-type Sequent Calculus for Monotone Modal Logic, in preparation.

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

> Z. Bakhtiari, U. Rivieccio, Bilattice Dynamic Epistemic Logic, in preparation.

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

Intuitionistic logic
> N. Bezhanishvili, D. de Jongh, A. Tzimoulis, Z. Zhao, The Universal Model for the Negation-free Fragment of IPC, to appear.