A. (Apostolos) Tzimoulis

Profile

I'm a PhD candidate in the Ethics/Philosophy of Technology section. I'm working on non-classical logics and their applications in social sciences.

  • 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).
  • 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).
  •  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).
  • 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).

More publications


Apostolos Tzimoulis

PhD candidate


Additional information

A. Tzimoulis

publications
Toward an epistemic-logical theory of categorization

peer reviewed : Y

Electronic Proceedings in Theoretical Computer Science, EPTCS (2017) 20 pages , p. 167-186

authors

  • Willem Conradie
  • Sabine Frittella
  • Alessandra Palmigiano
  • Michele Piazzai
  • Apostolos Tzimoulis
  • Nachoem M. Wijnberg
Unified correspondence as a proof-theoretic tool

peer reviewed : Y

Journal of Logic and Computation (2016)

authors

  • Giuseppe Greco
  • Minghui Ma
  • Alessandra Palmigiano
  • Apostolos Tzimoulis
  • Zhiguang Zhao
Categories

peer reviewed : Y

Proceedings of 23rd International Workshop, WoLLIC 2016 (2016) 20 pages , p. 145-164

authors

  • Willem Conradie
  • Sabine Frittella
  • Alessandra Palmigiano
  • Michele Piazzai
  • Apostolos Tzimoulis
  • Nachoem M. Wijnberg
Probabilistic epistemic updates on algebras

peer reviewed : Y

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015 Proceedings (2015) 13 pages , p. 64-76

authors

  • W Conradie
  • S Frittella
  • A Palmigiano
  • A Tzimoulis

editors

  • W van Hoek
  • W Holliday
  • W-F Wang
subjects
2016 - Formal methods for strategic decision-making
2017 - Introduction to logic for BSc-TN Honours students
2017 - Formal methods for strategic decision-making
2017 - Formal methods for strategic decision-making
2017 - Logics for Empirical Sciences