Reactive Kripke semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantic...
Main Author: | Gabbay, Dov M., 1945- |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Heidelberg :
Springer,
[2013]
|
Physical Description: |
1 online resource (xii, 442 pages) : illustrations. |
Series: |
Cognitive technologies.
|
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |