Completeness theorems for reactive modal logics (Q1935589)

The paper studies reactive Kripke models, introduced earlier by the author; see [J. Appl. Log. 11, No. 1, 103--136 (2013; Zbl 1269.03025); Ann. Math. Artif. Intell. 66, No. 1--4, 1--5 (2012; Zbl 1272.03098)]. A reactive Kripke model is a Kripke model with a mechanism for auto-updates upon certain transitions in it. Such models arise in the context of argumentation networks; see [Zbl 1272.03098]. The main result is a completeness theorem for the associated ``reactive modal logic'' KR.