BILOTTA, ANTONELLA
BILOTTA, ANTONELLA
Classe di Lettere e Filosofia
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Growing a Modular Framework for Modal Systems: HOLMS
2025 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Bilotta, Antonella; Maggesi, Marco; Perini Brogi, Cosimo; Quartini, Leonardo
| Titolo | Data di pubblicazione | Autori | Tipo | File |
|---|---|---|---|---|
| A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS | 2025 | Bilotta, Antonella + | 4.1 Contributo in Atti di convegno | |
| Growing a Modular Framework for Modal Systems: HOLMS | 2025 | Bilotta, Antonella + | 8.2 Comunicazioni a Convegni o Seminari | |
| Growing HOLMS, a HOL Light Library for Modal Systems | 2024 | Bilotta, Antonella + | 4.1 Contributo in Atti di convegno |