Giovanna D’Agostino

Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski

Giovanna D’Agostino, M. Hollenberg · Journal of Symbolic Logic · 2000 · 96 citations

Logical Questions, Non-classical Logic, Engineering +10

Finality regained: A coalgebraic study of Scott-sets and multisets

Giovanna D’Agostino, Albert Visser · Archive for Mathematical Logic · 2002 · 50 citations

Automated Reasoning, Extremal Set Theory, Partially Ordered Set +1

A set-theoretic translation method for polymodal logics

Giovanna D’Agostino, Angelo Montanari, Alberto Policriti · Journal of Automated Reasoning · 1995 · 32 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

On the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>μ</mml:mi></mml:math>-calculus over transitive and finite transitive frames

Giovanna D’Agostino, Giacomo Lenzi · Theoretical Computer Science · 2010 · 19 citations

Math Xmlns, Finite Transitive Frames, Mathematical Foundations

An axiomatization of bisimulation quantifiers via the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>μ</mml:mi></mml:math>-calculus

Giovanna D’Agostino, Giacomo Lenzi · Theoretical Computer Science · 2004 · 18 citations

Math Xmlns, Engineering, Bisimulation Quantifiers +7