Concepedia

Giuseppe Greco

GG

7

Publications

210

Citations

7

H-Index

2014

Active since

Affiliations

University of Leicester(Current)

University of Johannesburg

Delft University of Technology

University of Belgrade

Aix-Marseille Université

Giuseppe Greco is an author at University of Leicester specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationFormal LogicVerificationLanguageSemanticsLogic Programming

Publications per year

2014–2023

7

Publications

7

Unified correspondence as a proof-theoretic tool

Giuseppe Greco, Minghui Ma, Alessandra Palmigiano et al. · Journal of Logic and Computation · 2016 · 45 citations · Full text

Engineering, Classical Logic, Verification +19

Multi-type display calculus for dynamic epistemic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 44 citations · Full text

Formal Logic, Engineering, Dynamic Epistemic Logic +12

Multi-type display calculus for propositional dynamic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 39 citations · Full text

Subformula Property, Engineering, Automated Reasoning +11

A proof-theoretic semantic analysis of dynamic epistemic logic

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · Journal of Logic and Computation · 2014 · 32 citations · Full text

Multi-type Sequent Calculi

Sabine Frittella, Giuseppe Greco, Alexander Kurz et al. · arXiv (Cornell University) · 2016 · 19 citations · Full text

Display Logic, Engineering, Substructural Logic +14

Rows per page

1–5 of 7