Highly Influenced

# Reactive Kripke Semantics and Arc Accessibility

@inproceedings{Gabbay2004ReactiveKS, title={Reactive Kripke Semantics and Arc Accessibility}, author={Dov Gabbay}, year={2004} }

- Published 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

#### From This Paper

##### Figures, tables, and topics from this paper.

15 Citations

4 References

Similar Papers

#### References

##### Publications referenced by this paper.

Showing 1-4 of 4 references

Highly Influential