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 to Rof 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 to R, 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
