**Topic:**

**PARACONSISTENCY**

## Reactive Kripke Semantics and Arc Accessibility

Dov Gabbay

Source: CLE (CombLog'04)

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 Kripke semantics to make it reactive is to allow the accessibility relation to access itself. Thus the accessibility relation R of a reactive Kripke model contains not only pairs (a, b)belongs toRof possible worlds (b is accessible to a, i.e. there is an accessibility arc from a to b) but also pairs of the form (t, (a, b))belongs toR, the arc (a, b) is accessible to t.This new kind of Kripke semantics allows us to characterise more axiomatic modal logics (with one modality) by a class of reactive frames. There are logics which cannot be characterised by ordinary frames but which can be characterised by reactive frames. We use such models to fibre logics which disagree on their common language.

Get it

Posted by Tony Marmo
at 06:01 BST