Research Output per year

## 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

## 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-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 Journal › Review article › Academic › peer-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 Journal › Article › Academic › peer-review

Correspondence

Modal Logic

Display devices

Logic

Display