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

Research Output 2015 2019

  • 5 Conference contribution
  • 1 Paper
  • 1 Article
  • 1 Review article
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 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., 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 proceedingConference contributionAcademicpeer-review

Proof Theory
Semantic Analysis
Modal Logic
Calculus
Semantics
2018

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
2017

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 ConferencePaperAcademic

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 proceedingConference contributionAcademicpeer-review

Intermediate Logics
Intuitionistic Logic
Fragment
Excluded third
Calculus
2016

Categories: How I learned to stop worrying and love two sorts

Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A. & Wijnberg, N. M., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 145-164 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

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

Polarity
Sort
Categorization
Modality
Substructural Logics
2015

Probabilistic epistemic updates on algebras

Conradie, W., Frittella, S., Palmigiano, A. & Tzimoulis, A., 1 Jan 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer Verlag, p. 64-76 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

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

Epistemic Logic
Dynamic Logic
Algebra
Update
Heyting Algebra