Reactive Kripke Semantics and Arc Accessibility

@inproceedings{Gabbay2004ReactiveKS,
  title={Reactive Kripke Semantics and Arc Accessibility},
  author={Dov Gabbay},
  year={2004}
}
Ordinary Kripke models are not reactive. When we evaluate (test/measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged. This paper studies Kripke models which react to the evaluation process and change themselves during the process. This is reminiscent of game theoretic semantics where the two sides react to each other. However, reactive Kripke models do not go as far as that. The only additional device we add to… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS
15 Citations
4 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-4 of 4 references

Flow products of modal logics

  • D. M. Gabbay, V. Shehtman
  • 2000
1 Excerpt

Fibring Logis

  • D. M. Gabbay
  • 1998
2 Excerpts

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

  • D. M. Gabbay, C. J. Hogger, J. A. Robinson, eds
  • 1994

Similar Papers

Loading similar papers…