Phd student
A.Tzimoulis-1(at)tudelft.nl | TU Delft / TPM / building 31 / room b3.370
Google site | academia.edu | LinkedIn | CV
PUBLICATIONS
2018
International journals
> M. Bilkova, G. Greco, A. Palmigiano, A. Tzimoulis, N. Wijnberg, Logic of Resources and Capabilities, Review of Symbolic Logic, in press, doi: 10.1017/S175502031700034X (2018).
2017
Articles in refereed conference proceedings
> W. Conradie, S. Frittella, A. Palmigiano, M. Piazzai, A. Tzimoulis, N. Wijnberg, Toward an Epistemic-Logical Theory of Categorization, LProceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), Liverpool, UK, 24-26 July 2017, pp.\ 167-186 doi: 10.4204/EPTCS.251.12 (2017).
> 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 (2017).
2016
International journals
> G. Greco, M. 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).
[available on request]
Articles in refereed conference proceedings
> W. Conradie, S. Fritella, A. Palmigiano, M. Piazzai, A. Tzimoulis, N. Wijnberg, Categories: how I learned to stop worrying and love two sorts, International Workshop on Logic, Language, Information, and Computation, pp. 145-164. Springer Berlin Heidelberg (2016).
2015
Articles in refereed conference proceedings
> 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
WORKING PAPERS
> W. Conradie, S. Frittella, A. Palmigiano, A. Tzimoulis, N. Wijnberg, Probabilistic Epistemic Updates on Algebras, submitted.
> S. Balco, G. Greco, A. Kurz, M. A. Moshier, A. Palmigiano, A. Tzimoulis, First-order logic properly displayed, in preparation.
> G. Greco, P. Jipsen, F. Liang, A. Palmigiano, A. Tzimoulis, Algebraic proof theory for LE-logics, in preparation.