1

A Presheaf Semantics for Quantified Temporal Logics
Temporal logics stands for a widely adopted family of formalisms forthe verification of computational devices, enriching propositional …
Fabio Gadducci, Davide Trotta
PDF Cite DOI
Weakly Markov Categories and Weakly Affine Monads
Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal …
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
PDF Cite DOI
Specification and verification of a linear-time temporal logic for graph transformations
We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the …
Fabio Gadducci, Andrea Laretto, Davide Trotta
PDF Cite DOI
Dialectica logical principles
Gödel’s Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in …
Davide Trotta, Matteo Spadetto, Valeria De Paiva
PDF Cite DOI
The Gödel fibration
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principles of traditional …
Davide Trotta, Matteo Spadetto, Valeria De Paiva
PDF Cite DOI