IRIS

Perini Brogi, Cosimo

Perini Brogi, Cosimo  

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

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.014 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.
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.
Displayed universal algebra in UniMath: basic definitions and results 1-gen-2025 Amato, G.; Calosci, M.; Maggesi, M.; Perini Brogi, C.
From applicative programming to verification-based knowledge: a Curry-Howard-Lambek reading 1-gen-2025 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 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
Investigations of proof theory and automated reasoning for non-classical logics 1-gen-2022 Perini Brogi, Cosimo
La matematica delle dimostrazioni 1-gen-2022 Perini Brogi, Cosimo
Machine translation: early criticisms revisited 1-gen-2024 Centrone, Stefania; Perini Brogi, Cosimo; Reifberger, Stefan
Mechanising Gödel–Löb Provability Logic in HOL Light 1-gen-2023 Maggesi, Marco; Perini Brogi, Cosimo
Modular sequent calculi for interpretability logics 1-gen-2025 Perini Brogi, C.; Negri, S.; Olivetti, N.
Reasoning on privacy policies 1-gen-2025 Huang, Yilian; Perini Brogi, Cosimo; De Nicola, Rocco
Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic 1-gen-2024 Maggesi, Marco; Perini Brogi, Cosimo
Simpson's proof systems for process verification: a fine-tuning (short paper) 1-gen-2024 Perini Brogi, Cosimo; De Nicola, Rocco; Inverso, Omar