Erschienen: 23.08.2016 Abbildung von Gabbay | Reactive Kripke Semantics | Softcover reprint of the original 1st ed. 2013 | 2016

Gabbay

Reactive Kripke Semantics

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

117,69 €

inkl. Mwst.

Softcover reprint of the original 1st ed. 2013 2016. Buch. xii, 442 S. 191 s/w-Abbildungen, 10 Farbabbildungen, Bibliographien. Softcover

Springer. ISBN 978-3-662-51436-8

Format (B x L): 15,5 x 23,5 cm

Gewicht: 694 g

In englischer Sprache

Das Werk ist Teil der Reihe: Cognitive Technologies

Produktbeschreibung

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.

Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...