Olivetti, Nicola.
Olivetti, Nicola, 19..-....
VIAF ID: 42074163 ( Personal )
Permalink: http://viaf.org/viaf/42074163
Preferred Forms
- 200 _ | ‡a Olivetti ‡b Nicola
-
-
- 100 1 _ ‡a Olivetti, Nicola
- 100 1 _ ‡a Olivetti, Nicola
-
-
- 100 1 _ ‡a Olivetti, Nicola, ‡d 19..-....
-
Works
Title | Sources |
---|---|
Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings | |
Conditional logic and belief revision | |
Goal-directed proof theory, 2000: | |
Une investigation logique de l'IA explicable | |
Logiques de ressources dynamiques : modèles, propriétés et preuves | |
Logiques modales non-normales : sémantiques de voisinage et leurs calculs. | |
Modal extensions of resource logics : expressivity and calculi. | |
Monotone Modal Logic and Friends | |
Non-normal modal logics : neighbourhood semantics and their calculi | |
Proof theory for fuzzy logics | |
Théorie de la démonstration des logiques conditionnelles. |