Introducing reactive modal tableaux (bibtex)

by D. M. Gabbay

Abstract:

This paper introduces the idea of reactive semantics and reactive Beth\text[D?]tableaux for modal logic and quotes some of its applications. The reactive idea is\text[D?]very simple. Given a system with states and the possibility of transitions moving\text[D?]from one state to another, we can naturally imagine a path beginning at an initial\text[D?]state and moving along the path following allowed transitions. If our starting point\text[D?]is s0, and the path is s0,s1,...,sn, then the system is ordinary non-reactive system\text[D?]if the options available at sn (i.e., which states t we can go to from sn) do not depend on the path s0,...,sn (i.e., do not depend on how we got to sn). Otherwise if there is such dependence then the system is reactive. It seems that the simple idea of taking existing systems and turning them reactive in certain ways, has many new applications. The purpose of this paper is to introduce reactive tableaux in particular and illustrate and present some of the applications of reactivity in general.\text[D?]Mathematically one can take a reactive system and turn it into an ordinary system\text[D?]by taking the paths as our new states. This is true but from the point of view\text[D?]of applications there is serious loss of information here as the applicability of the\text[D?]reactive system comes from the way the change occurs along the path. In any specific\text[D?]application, the states have meaning, the transitions have meaning and the paths have meaning. Therefore the changes in the system as we go along a path can have very\text[D?]important meaning in the context, which enhances the usability of the model.

Reference:

Introducing reactive modal tableaux (D. M. Gabbay), In , Springer, 2012.

Bibtex Entry:

@Article{10993/15854, Title = {Introducing reactive modal tableaux}, Author = {Gabbay, D. M.}, Year = {2012}, Abstract = {This paper introduces the idea of reactive semantics and reactive Beth\text{[D?]}tableaux for modal logic and quotes some of its applications. The reactive idea is\text{[D?]}very simple. Given a system with states and the possibility of transitions moving\text{[D?]}from one state to another, we can naturally imagine a path beginning at an initial\text{[D?]}state and moving along the path following allowed transitions. If our starting point\text{[D?]}is s0, and the path is s0,s1,...,sn, then the system is ordinary non-reactive system\text{[D?]}if the options available at sn (i.e., which states t we can go to from sn) do not depend on the path s0,...,sn (i.e., do not depend on how we got to sn). Otherwise if there is such dependence then the system is reactive. It seems that the simple idea of taking existing systems and turning them reactive in certain ways, has many new applications. The purpose of this paper is to introduce reactive tableaux in particular and illustrate and present some of the applications of reactivity in general.\text{[D?]}Mathematically one can take a reactive system and turn it into an ordinary system\text{[D?]}by taking the paths as our new states. This is true but from the point of view\text{[D?]}of applications there is serious loss of information here as the applicability of the\text{[D?]}reactive system comes from the way the change occurs along the path. In any specific\text{[D?]}application, the states have meaning, the transitions have meaning and the paths have meaning. Therefore the changes in the system as we go along a path can have very\text{[D?]}important meaning in the context, which enhances the usability of the model.}, Publisher = {Springer}, Timestamp = {2015.01.26} }

Powered by bibtexbrowser