Research Output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
Logic
Mathematics
Calculus
Mathematics
Algebra
Engineering & Materials Science
Intuitionistic Logic
Mathematics
Intermediate Logics
Mathematics
Epistemic Logic
Mathematics
Dynamic Logic
Mathematics
Display devices
Engineering & Materials Science
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
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
Universal models for the positive fragment of intuitionistic logic
Bezhanishvili, N., de Jongh, D., Tzimoulis, A. & Zhao, Z., 1 Jan 2017, Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Revised Selected Papers. Sadrzadeh, M., Zeevat, H., Murray, S. E. & Hansen, H. H. (eds.). Springer Verlag, p. 229-250 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10148 LNCS).Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Intermediate Logics
Intuitionistic Logic
Fragment
Excluded third
Calculus