Davide Trotta

22 papers B 4Misc 1Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Counterpart-based Quantified Temporal Logics.
J. Log. Algebraic Methods Program.
Fabio Gadducci, Andrea Laretto, Davide Trotta
2025 J jnl
A taxonomy of categories for relations.
CoRR
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
2025 J jnl
Between Markov and restriction: Two more monads on categories for relations.
CoRR
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
2025 J jnl
Categorifying computable reducibilities.
Log. Methods Comput. Sci.
Davide Trotta, Manlio Valenti, Valeria de Paiva
2024 J jnl
On categorical structures arising from implicative algebras: From topology to assemblies.
Ann. Pure Appl. Log.
Samuele Maschio, Davide Trotta
2024 B conf
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.
MFCS
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2024 J jnl
When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines.
CoRR
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
2023 J jnl
A characterization of generalized existential completions.
Ann. Pure Appl. Log.
Maria Emilia Maietti, Davide Trotta
2023 J jnl
Dialectica principles via Gödel doctrines.
Theor. Comput. Sci.
Davide Trotta, Matteo Spadetto, Valeria de Paiva
2023 J jnl
From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness.
Appl. Categorical Struct.
Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
2023 J jnl
On categorical structures arising from implicative algebras: from topology to assemblies.
CoRR
Samuele Maschio, Davide Trotta
2023 B conf
Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation.
ICGT
Fabio Gadducci, Andrea Laretto, Davide Trotta
2023 J jnl
Specification and verification of a linear-time logic for graph transformation.
CoRR
Fabio Gadducci, Andrea Laretto, Davide Trotta
2023 B conf
Weakly Markov Categories and Weakly Affine Monads.
CALCO
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
2023 J jnl
Weakly affine monads.
CoRR
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
2022 — conf
A Presheaf Semantics for Quantified Temporal Logics.
WADT
Fabio Gadducci, Davide Trotta
2022 J jnl
Completeness and expressiveness for gs-monoidal categories.
CoRR
Andrea Corradini, Fabio Gadducci, Davide Trotta
2022 Misc conf
Dialectica Logical Principles.
LFCS
Davide Trotta, Matteo Spadetto, Valeria de Paiva
2022 J jnl
Dialectica logical principles: not only rules.
J. Log. Comput.
Davide Trotta, Matteo Spadetto, Valeria de Paiva
2021 J jnl
A Presheaf Semantics for Quantified Temporal Logics.
CoRR
Fabio Gadducci, Davide Trotta
2021 B conf
The Gödel Fibration.
MFCS
Davide Trotta, Matteo Spadetto, Valeria de Paiva
2020 J jnl
Compositional theories for embedded languages.
CoRR
Davide Trotta, Margherita Zorzi