Évènements
Rechercher un événement
Diagramme de Bratteli Vershik
Fabien Durand (LAMFA, Université de Picardie Jules Verne, Amiens)
TBA Diagrams of Bratteli Vershik https://hal.archives-ouvertes.fr/hal-00738286v1 https://hal.archives-ouvertes.fr/hal-00304369/
17
Jan
Towards a Proof Theory of the Riesz Modal Logic
Christophe Lucas (LIP, ENS Lyon)
It has recently been shown that two Riesz-modal-logic formulas are semantically equivalent if and only if they are equivalent when interpreted in all "modal Riesz [...]
17
Jan
