
Evènement pour le groupe Séminaire Méthodes Formelles
Date  20190910 14:0015:00 
Titre  Two variable fragment of Term Modal logic 
Résumé 
Multimodal logics are commonly used to reason about systems of processes. Typically, we have formulas of the form Box_i alpha where "i" comes from a fixed finite set of agents or processes. In dynamic networks, the number of agents cannot be fixed a priori, and may even change from state to state. We are thus led to Term Modal Logic (TML) where variables range over agent names and we have quantification of such variables; the logic has formulas such as forall x (P(x) implies Box_x alpha). Thus TML is a first order logic in which we can talk of agent properties as predicates and also use modalities to talk about the moves by agents. As expected, this logic is highly undecidable. In this talk we consider the two variable fragment of TML and prove that it is decidable. This is in contrast to twovariable First order modal logic, which is undecidable.
This is a joint work with Prof. R. Ramanujam and will be presented at MFCS, 2019. 
Lieu  178 
Orateur  Anantha Padmanabha 
Email  https://www.imsc.res.in/~ananthap/ 
Url  IMSC, Chennai 
Aucun document lié à cet événement. RetourRetour à l'index
 