Mathematics Subject Classifications (2010) 03B44 · 03B45
OverviewThis paper gives completeness theorems for some basic reactive Kripke models and semantics. This section will 1. Introduce reactivity 2. Discuss and compare the kind of Kripke semantics we get with reactivity 3. Explain the challenges in obtaining completeness theorems
Fibring and reactivityOur starting point is an ordinary Kripke model for modal logic. This has the form m = (S, R, a) where S is a nonempty set of worlds, a ∈ S is the initial (actual) world and R ⊆ S × S is the accessibility relation. The model also has an assignment h, giving for each atomic q a subset h(q) ⊆ S.We shall focus on R.