enseignant-chercheur, enseignant du supérieur*chercheur en milieu académique*chercheur en entreprise, R&D du secteur privé*expertise, études et conseils dans des organisations, cabinets ou sociétés fournissant des prestations intellectuelles, des expertises scientifiques, prospectives ou stratégiques*
Coordonnées
tiziano.dalmonte@studio.unibo.it
Doctorat
Intitulé : Informatique
1ère inscription en thèse :
Juin 2017
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
5 Octobre 2020
Sujet :
Logiques Modales Non-Normales: Sémantiques de Voisinage et leurs Calculs
Directeur de thèse :
Nicola OLIVETTI
Co-directeur :
Unité de recherche :
LIS Laboratoire d'Informatique et Systèmes
Intitulé de l'équipe :
Master
Intitulé : Scienze filosofiche
Mars 2016 - Université de Bologne
Langues vivantes
Anglais : C1 - Avancé
Français : B1 - Intermédiaire
Allemand : B2 - Intermédiaire supérieur
Italien : Maternel
Production scientifique
-
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi
2018
Tiziano Dalmonte, Nicola Olivetti, Sara Negri
https://hal.archives-ouvertes.fr/hal-02076639/document
-
Intuitionistic non-normal modal logics: A general framework
Journal of Philosophical Logic
2020
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
https://hal.archives-ouvertes.fr/hal-02439704/document
-
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics
2020
Björn Lellmann, Nicola Olivetti, Elaine Pimentel, Tiziano Dalmonte
https://hal-amu.archives-ouvertes.fr/hal-02436312/document
-
PRONOM: proof-search and countermodel generation for non-normal modal logics
2019
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
https://hal.archives-ouvertes.fr/hal-02439537/document
-
HYPNO: Theorem proving with hypersequent calculi for non-normal modal logics
--
2020
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
