Simone Martini | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Margherita Zorzi
8 publications
Andrea Masini
3 publications
Michael Lodi
1 publication
Marco Sbaraglia
1 publication

research

∙ 12/20/2021

Online Unplugged and Block-Based Cryptography in Grade 10

We report our experience of an extracurricular online intervention on cr...

0 Michael Lodi, et al. ∙

research

∙ 07/23/2020

From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

We extend to natural deduction the approach of Linear Nested Sequents an...

0 Simone Martini, et al. ∙

research

∙ 01/07/2020

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic

Extending and generalizing the approach of 2-sequents (Masini, 1992), we...

0 Simone Martini, et al. ∙