Freunden von diesem Artikel berichten:
Reactive Kripke Semantics - Cognitive Technologies Dov M. Gabbay Softcover reprint of the original 1st ed. 2013 edition
Preis
SFr. 86,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 6. - 12. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Reactive Kripke Semantics - Cognitive Technologies
Dov M. Gabbay
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.
454 pages, 191 black & white illustrations, 10 colour illustrations, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 23. August 2016 |
| ISBN13 | 9783662514368 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 442 |
| Maße | 155 × 235 × 23 mm · 635 g |
| Sprache | Deutsch |
Weitere Titel von Dov M. Gabbay
Alle anzeigen![Cover for Dov M. Gabbay · A New Perspective on Nonmonotonic Logics (Taschenbuch) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/938/9783319835938.jpg?dov-m-gabbay-2018-a-new-perspective-on-nonmonotonic-logics-taschenbuch&class=scaled&v=1614706821)
![Cover for Dov M. Gabbay · A New Perspective on Nonmonotonic Logics (Gebundenes Buch) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/150/9783319468150.jpg?dov-m-gabbay-2016-a-new-perspective-on-nonmonotonic-logics-gebundenes-buch&class=scaled&v=1505875253)
![Cover for Dov M. Gabbay · Conditionals and Modularity in General Logics - Cognitive Technologies (Taschenbuch) [2011 edition] (2013)](https://imusic.b-cdn.net/images/item/original/659/9783642270659.jpg?dov-m-gabbay-2013-conditionals-and-modularity-in-general-logics-cognitive-technologies-taschenbuch&class=scaled&v=1408488377)
![Cover for Dov M. Gabbay · Synthesis of Concepts in the Talmud (Studies in Talmudic Logic) (Hebrew Edition) (Gebundenes Buch) [Hebrew edition] (2013)](https://imusic.b-cdn.net/images/item/original/875/9781848900875.jpg?dov-m-gabbay-2013-synthesis-of-concepts-in-the-talmud-studies-in-talmudic-logic-hebrew-edition-gebundenes-buch&class=scaled&v=1408589004)
![Cover for Dov M. Gabbay · Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies (Taschenbuch) [2010 edition] (2012)](https://imusic.b-cdn.net/images/item/original/306/9783642264306.jpg?dov-m-gabbay-2012-revision-acceptability-and-context-theoretical-and-algorithmic-aspects-cognitive-technologies-taschenbuch&class=scaled&v=1408486817)
![Cover for Dov M. Gabbay · Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies (Taschenbuch) [2010 edition] (2012)](https://imusic.b-cdn.net/images/item/original/879/9783642261879.jpg?dov-m-gabbay-2012-logical-tools-for-handling-change-in-agent-based-systems-cognitive-technologies-taschenbuch&class=scaled&v=1408485847)
![Cover for Dov M. Gabbay · Conditionals and Modularity in General Logics - Cognitive Technologies (Gebundenes Buch) [2011 edition] (2011)](https://imusic.b-cdn.net/images/item/original/674/9783642190674.jpg?dov-m-gabbay-2011-conditionals-and-modularity-in-general-logics-cognitive-technologies-gebundenes-buch&class=scaled&v=1408480654)
![Cover for Dov M. Gabbay · Semantical Investigations in Heyting's Intuitionistic Logic - Synthese Library (Taschenbuch) [Softcover reprint of hardcover 1st ed. 1981 edition] (2010)](https://imusic.b-cdn.net/images/item/original/623/9789048183623.jpg?dov-m-gabbay-2010-semantical-investigations-in-heyting-s-intuitionistic-logic-synthese-library-taschenbuch&class=scaled&v=1505874839)
![Cover for Dov M. Gabbay · Goal-Directed Proof Theory - Applied Logic Series (Taschenbuch) [Softcover reprint of the original 1st ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/262/9789048155262.jpg?dov-m-gabbay-2010-goal-directed-proof-theory-applied-logic-series-taschenbuch&class=scaled&v=1414857206)
![Cover for Dov M. Gabbay · Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies (Gebundenes Buch) [2010 edition] (2010)](https://imusic.b-cdn.net/images/item/original/584/9783642141584.jpg?dov-m-gabbay-2010-revision-acceptability-and-context-theoretical-and-algorithmic-aspects-cognitive-technologies-gebundenes-buch&class=scaled&v=1408477099)
![Cover for Dov M. Gabbay · Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies (Gebundenes Buch) [2010 edition] (2009)](https://imusic.b-cdn.net/images/item/original/069/9783642044069.jpg?dov-m-gabbay-2009-logical-tools-for-handling-change-in-agent-based-systems-cognitive-technologies-gebundenes-buch&class=scaled&v=1408459158)
![Cover for Dov M. Gabbay · Goal-Directed Proof Theory - Applied Logic Series (Gebundenes Buch) [2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/733/9780792364733.jpg?dov-m-gabbay-2000-goal-directed-proof-theory-applied-logic-series-gebundenes-buch&class=scaled&v=1410139248)
![Cover for Dov M. Gabbay · Semantical Investigations in Heyting's Intuitionistic Logic - Synthese Library (Gebundenes Buch) [1981 edition] (1981)](https://imusic.b-cdn.net/images/item/original/028/9789027712028.jpg?dov-m-gabbay-1981-semantical-investigations-in-heyting-s-intuitionistic-logic-synthese-library-gebundenes-buch&class=scaled&v=1604697160)
![Cover for Dov M. Gabbay · Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics - Synthese Library (Gebundenes Buch) [1976 edition] (1976)](https://imusic.b-cdn.net/images/item/original/560/9789027706560.jpg?dov-m-gabbay-1976-investigations-in-modal-and-tense-logics-with-applications-to-problems-in-philosophy-and-linguistics-synthese-library-gebundenes-buch&class=scaled&v=1495006819)
Alle Titel von Dov M. Gabbay ansehen ( u. a. Gebundenes Buch und Taschenbuch )