IRIS

Perini Brogi, Cosimo

Perini Brogi, Cosimo  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 39 (tempo di esecuzione: 0.018 secondi).
Titolo Data di pubblicazione Autore(i) File
A Formal Proof of Modal Completeness for Provability Logic 1-gen-2021 Maggesi, Marco; Perini Brogi, Cosimo
A modular framework for proof-search via formalised modal completeness in HOL light 1-gen-2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
A modular proof of semantic completeness for normal systems beyond the modal cube, formalised in HOLMS 1-gen-2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.
A proof theoretic framework for process verification 1-gen-2025 Perini Brogi, Cosimo
Analysing Collective Adaptive Systems by Proving Theorems 1-gen-2024 Perini Brogi, Cosimo; Maggesi, Marco
Archimede logica : l'enigma del compleanno 1-gen-2020 Perini Brogi, Cosimo
Bridging higher-order logic and efficient computations for a rigorous analysis of idealised pathfinding ants 1-gen-2026 Perini Brogi, Cosimo; Maggesi, Marco
Curry–Howard–Lambek Correspondence for Intuitionistic Belief 1-gen-2021 Perini Brogi, C.
Cutting out the middle man: a game-theoretic analysis in computability logic of the Needham-Schroeder protocol 1-gen-2026 Perini Brogi, Cosimo; Spadoni, Stella
Displayed universal algebra in UniMath: basic definitions and results 1-gen-2025 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
Eliminating cuts from non-nested reflection calculi In corso di stampa Joosten Joost, J.; Perini Brogi, Cosimo
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 1-gen-2025 Perini Brogi, Cosimo
Growing a modular framework for modal systems: HOLMS 1-gen-2025 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Growing HOLMS, a HOL Light Library for Modal Systems 1-gen-2025 Bilotta, A.; Maggesi, M.; Perini Brogi, C.; Quartini, L.
Growing HOLMS: a modular framework for modal logics within HOL Light Proof Assistant 1-gen-2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Growing HOLMS: a verified automated prover for Grzegorczyk logic in HOL light 1-gen-2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version) 1-gen-2026 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Il senso astratto delle cose 1-gen-2026 Perini Brogi, Cosimo
Introducing displayed universal algebra in UniMath 1-gen-2025 Amato, Gianluca; Calosci, Matteo; Maggesi, Marco; Perini Brogi, Cosimo
Investigations of proof theory and automated reasoning for non-classical logics 1-gen-2022 Perini Brogi, Cosimo