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
Modal Logic
Mathematics
Display devices
Engineering & Materials Science
Algebra
Engineering & Materials Science
Proof Theory
Mathematics
Semantics
Engineering & Materials Science
Intuitionistic Logic
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., 1 Jan 2019, Logic and Its Applications - 8th Indian Conference, ICLA 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., 1 Jan 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
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
Toward an epistemic-logical theory of categorization
Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A. & Wijnberg, N. M., 25 Jul 2017, p. 167-186. 20 p.Research output: Contribution to Conference › Paper › Academic
Decision making
Data structures
Semantics
Acoustic waves