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
Filter
Article
2018

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