107,09 €*
Reactive Kripke Semantics
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

Reactive Kripke Semantics

Cognitive Technologies
 eBook
Sf Sofort lieferbar
This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.
Chap.1 - A Theory of Hypermodal Logics.- Chap.2 - Introducing Reactive Kripke Semantics and Arc Accessibility.- Chap.3 - Introducing Reactive Modal Tableaux.- Chap.4 - Reactive Intuitionistic Tableaux.- Chap.5 - Completeness Theorems for Reactive Modal Logics.- Chap.6 - Modal Logics of Reactive Frames.- Chap.7 - Global View on Reactivity: Switch Graphs and their Logics.- Chap.8 - Reactive Automata.- Chap.9 - Reactivity and Grammars: An Exploration.- Chap.10 - Reactive Flow Products.- Chap.11 - Reactive Standard Deontic Logic.- Chap.12 - Reactive Preferential Structures and Nonmonotonic Consequence.- References.- Index.
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.

Mehr zum Thema

    Mathematik / Logik; Logik; Philosophie / Logik; Roboter - Robotik - Industrieroboter; Mathematik / Informatik, Computer; Intelligenz / Künstliche Intelligenz; KI; Künstliche Intelligenz - AI; MATHEMATICS / Logic; Deontic logic; Hypermodal logics; Logic; Mathematical logic; Modal logic; Reactive automata

Produktdetails

Autor: Dov M. Gabbay
ISBN-13: 9783642413896
ISBN: 3642413897
Einband: eBook
Seiten: 442
Sprache: Englisch
Autor: Dov M. Gabbay
The author is one of the foremost authorities on nonclassical logics and their applications in computing.

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

 

Rezensionen

Autor: Dov M. Gabbay
ISBN-13:: 9783642413896
ISBN: 3642413897
Verlag: Springer-Verlag GmbH
Größe: 4707 KBytes
eBook Format: PDF
Kopierschutz: 1 - PDF Watermark
eBook Typ: PDF
Seiten: 442
Sprache: Englisch
Auflage 2013
Sonstiges: Ebook, 191 schwarz-weiße und 10 farbige Abbildungen, Bibliographie

Kopierschutz

Adobe-DRM

Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.

Wasserzeichen-DRM

Das sogenannte Soft-DRM erlaubt das Kopieren und die Weitergabe an Dritte. Im Buch werden allerdings Informationen zum eBook-Kauf an sichtbaren und unsichtbaren Stellen (Wasserzeichen) eingetragen – z.B. Ihre E-Mail-Adresse oder die Transaktions-Nummer. Illegale Kopien eines eBooks können dadurch jederzeit zu Ihnen zurückverfolgt werden.

eBooks ohne DRM

Hierbei handelt es sich um eBooks ohne Kopierschutz. Allerdings ist auch hier eine Weitergabe an DDritte nicht zulässig, weil Sie nur die Rechte zur persönlichen Nutzung erwerben.

Dateiformate

EPUB (Electronic Publication)

EPUB ist ein offener Standard für eBooks und eignet sich besonders zur Darstellung von Belle­tristik und Sach­büchern. Der Fließ­text wird dynamisch an die Display- und Schrift­größe ange­passt. Auch für mobile Lese­geräte ist EPUB daher gut geeignet.

PDF (Portable Document Format)

Mit einem festen Seiten­layout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:

PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos).

eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.

Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.