Completeness theorems for reactive modal logics (Q1935589)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Completeness theorems for reactive modal logics |
scientific article; zbMATH DE number 6137022
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness theorems for reactive modal logics |
scientific article; zbMATH DE number 6137022 |
Statements
Completeness theorems for reactive modal logics (English)
0 references
18 February 2013
0 references
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.
0 references
reactive Kripke models
0 references
reactive modal logic
0 references
axiomatic systems
0 references
completeness
0 references
0.7947021126747131
0 references
0.7851740717887878
0 references
0.7814253568649292
0 references
