Evènement pour le groupe Séminaire Méthodes Formelles
|Date|| 2019-09-10 14:00-15:00|
|Titre||Two variable fragment of Term Modal logic |
Multi-modal 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 two-variable First order modal logic, which is undecidable.
This is a joint work with Prof. R. Ramanujam and will be presented at MFCS, 2019. |
|Orateur||Anantha Padmanabha |
|Url||IMSC, Chennai |
Aucun document lié à cet événement.RetourRetour à l'index