Apostolos Tzimoulis

Phd student

Apostolos Tzimoulis_Applied Logic TU Delft2

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.