• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Reactive Kripke Semantics

Reactive Kripke Semantics

Paperback

Series: Cognitive Technologies

FictionGeneral ComputersLogic

ISBN10: 3662514362
ISBN13: 9783662514368
Publisher: Springer Nature
Published: Aug 23 2016
Pages: 442
Weight: 1.40
Height: 0.92 Width: 6.14 Depth: 9.21
Language: English

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 semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures.

Also in

Fiction