Giuseppe Greco

Utrecht University - Utrecht / Netherlands

Engineering & Technology / Computer Science

AD Scientific Index ID: 1807050

Universiteit Utrecht

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Utrecht University

Giuseppe Greco's MOST POPULAR ARTICLES

1-) Unified correspondence as a proof-theoretic tool Journal of Logic and Computation 28 (7), 1367-1442, 2018

2-) Multi-type display calculus for dynamic epistemic logic Journal of Logic and Computation 26 (6), 2017-2065, 2016

3-) Multi-type sequent calculi arXiv preprint arXiv:1609.05343, 2016

4-) Multi-type display calculus for propositional dynamic logic arXiv preprint arXiv:1805.09144, 2018

5-) A multi-type calculus for inquisitive logic International Workshop on Logic, Language, Information, and Computation, 215-233, 2016

ARTICLES

Add your articles