Christophe Lucas
ENS-Lyon
About Real-Valued Modal Logics
Real-valued modal logics address the limitations of classical modal logic for reasoning about modal notions such as necessity, belief, and spatio-temporal relations in the presence of uncertainty, possibility, or vagueness, by allowing modalities and operations defined over sets of real numbers. They also provide a basis for defining description logics that model vague or uncertain concepts, and useful and computationally feasible fragments of corresponding first-order logics.
| 10.00-10.15 | Room A97 (ExWi) | Welcome | ||
| 10.15-10.45 | Room A97 (ExWi) | Matteo Mio | The Riesz Modal Logic | Specialized |
| 10.45-11.15 | Room A97 (ExWi) | Christophe Lucas | Towards a Proof Theory of the Riesz Modal Logic | Specialized |
| 11.15-11.30 | Room A97 (ExWi) | Coffee Break | ||
| 11.30-12.00 | Room A97 (ExWi) | George Metcalfe | An Abelian Modal Logic | Specialized |
| 12.00-12.30 | Room A97 (ExWi) | Thomas Studer | The Proof Theory of Modal Fixed Point Logics | Specialized |
Christophe Lucas
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 spaces". In this talk we will introduce a hyper-sequent calculus for the theory of "modal lattice-ordered abelian groups" which builds on previous work of Metcalfe, Olivetti and Gabbay. It is our hope to eventually extend this work to the theory of modal Riesz spaces.
George Metcalfe
In this talk, I will describe recent axiomatization and complexity results (obtained in joint work with D. Diaconescu and L. Schnüriger) for a many-valued modal logic equipped with the usual group and lattice operations over the real numbers that extends Meyer and Slaney's Abelian Logic. These results also provide a first step towards solving open axiomatization and complexity problems for a many-valued modal logic based on the semantics of Lukasiewicz infinite-valued logic.
Matteo Mio
In this talk I will introduce the Riesz modal logic, a recently introduced real-valued (fuzzy) temporal logic specifically designed to express properties of Markov chains and present some results about it.
Thomas Studer
We present a survey of deductive systems for the modal mu-calculus and we discuss the problem of syntactic cut-elimination for this logic.
Institut für Exakte Wissenschaften, Sidlerstrasse 5, 3012 Bern Room A97 (ExWi)
There is no registration fee. Scholars interested in the workshop are kindly requested to register informally by sending us an e-mail. They are also advised to take the opportunity and apply for travel support.
ENS-Lyon
University of Bern
ENS-Lyon
University of Bern
Subscribe to get event news!