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