Personal information

Netherlands

Activities

Employment (1)

Vrije Universiteit Amsterdam: Amsterdam, Noord-Holland, NL

Employment
Source: Self-asserted source
Giuseppe Greco

Education and qualifications (1)

Università degli Studi di Siena: Siena, Toscana, IT

Education
Source: Self-asserted source
Giuseppe Greco

Works (14)

Bilattice logic properly displayed

Fuzzy Sets and Systems
2019 | Journal article
EID:

2-s2.0-85047217089

Contributors: Greco, G.; Liang, F.; Palmigiano, A.; Rivieccio, U.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Logics for rough concept analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85063443185

Contributors: Greco, G.; Jipsen, P.; Manoorkar, K.; Palmigiano, A.; Tzimoulis, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Non Normal Logics: Semantic Analysis and Proof Theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85068620259

Contributors: Chen, J.; Greco, G.; Palmigiano, A.; Tzimoulis, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Proper multi-type display calculi for rough algebras

Electronic Notes in Theoretical Computer Science
2019-08-16 | Journal article
Source: Self-asserted source
Giuseppe Greco

Software Tool Support for Modular Reasoning in Modal Logics of Actions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85049921153

Contributors: Balco, S.; Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

THE LOGIC OF RESOURCES AND CAPABILITIES

Review of Symbolic Logic
2018 | Journal article
EID:

2-s2.0-85047257088

Contributors: Bílková, M.; Greco, G.; Palmigiano, A.; Tzimoulis, A.; Wijnberg, N.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Unified correspondence as a proof-theoretic tool

Journal of Logic and Computation
2018 | Journal article
EID:

2-s2.0-85026755602

Contributors: Greco, G.; Ma, M.; Palmigiano, A.; Tzimoulis, A.; Zhao, Z.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Lattice logic properly displayed

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85026736775

Contributors: Greco, G.; Palmigiano, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Multi-type display calculus for semi de morgan logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017 | Book
EID:

2-s2.0-85026745374

Contributors: Greco, G.; Liang, F.; Moshier, M.A.; Palmigiano, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

A multi-type calculus for inquisitive logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84981501522

Contributors: Frittella, S.; Greco, G.; Palmigiano, A.; Yang, F.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

A proof-theoretic semantic analysis of dynamic epistemic logic

Journal of Logic and Computation
2016 | Journal article
EID:

2-s2.0-85014696958

Contributors: Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A.; Sikimić, V.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Multi-type display calculus for dynamic epistemic logic

Journal of Logic and Computation
2016 | Journal article
EID:

2-s2.0-85014588205

Contributors: Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A.; Sikimić, V.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Multi-type display calculus for propositional dynamic logic

Journal of Logic and Computation
2016 | Journal article
EID:

2-s2.0-85014713948

Contributors: Frittella, S.; Greco, G.; Kurz, A.; Palmigiano, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier

Dynamic epistemic logic displayed

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84886403226

Contributors: Greco, G.; Kurz, A.; Palmigiano, A.
Source: Self-asserted source
Giuseppe Greco via Scopus - Elsevier