If you made any changes in Pure these will be visible here soon.

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Apostolos Tzimoulis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Logic Mathematics
Calculus Mathematics
Algebra Engineering & Materials Science
Epistemic Logic Mathematics
Dynamic Logic Mathematics
Modal Logic Mathematics
Display devices Engineering & Materials Science
Proof Theory Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2015 2019

  • 5 Conference contribution
  • 2 Article
  • 1 Paper
  • 1 Review article

Logics for rough concept analysis

Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A. & Tzimoulis, A., 2019, Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Manuel, A. & Khan, M. A. (eds.). Springer Verlag, p. 144-159 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11600 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Algebra
Rough
Logic
Calculus
Display devices

Non Normal Logics: Semantic Analysis and Proof Theory

Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 99-118 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Proof Theory
Semantic Analysis
Modal Logic
Calculus
Semantics

Probabilistic epistemic updates on algebras

Conradie, W., Frittella, S., Palmigiano, A., Tzimoulis, A. & Wijnberg, N., 1 Sep 2019, In : ACM Transactions on Computational Logic. 20, 4, 24.

Research output: Contribution to JournalArticleAcademicpeer-review

Epistemic Logic
Dynamic Logic
Algebra
Update
Heyting Algebra

THE LOGIC OF RESOURCES AND CAPABILITIES

Bílková, M., Greco, G., Palmigiano, A., Tzimoulis, A. & Wijnberg, N., 1 Jun 2018, In : Review of Symbolic Logic. 11, 2, p. 371-410 40 p.

Research output: Contribution to JournalReview articleAcademicpeer-review

Logic
Resources
Calculus
Proof Theory
Multitype

Unified correspondence as a proof-theoretic tool

Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A. & Zhao, Z., 1 Oct 2018, In : Journal of Logic and Computation. 28, 7, p. 1367-1442 76 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Correspondence
Modal Logic
Display devices
Logic
Display