Reactive Kripke Semantics

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 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

Games, Puzzles and Computation

Games, Puzzles and Computation

The authors show that there are underlying mathematical reasons for why games and puzzles are challenging (and perhaps why they are so much fun). They also show that games and puzzles can serve as powerful models of computationquite different from the usual models of automata and circuitsoffering a new way of thinking about computation. The appendices provide a substantial survey of all known results in the field of game complexity, serving as a reference guide for readers interested in the computational complexity of particular games, or interested in open problems about such complexities.

Games, Puzzles and Computation

Leonardos Lost Robots

Leonardos Lost Robots

Leonardo s Lost Robots reinterprets Leonardo da Vincis mechanical design work, revealing a new level of sophistication not recognized by art historians or engineers. By identifying his major technological projects, the book revisits Leonardos legacy of notebooks, showing that apparently unconnected fragments from dispersed manuscripts actually comprise cohesive designs for functioning automata. Using the rough sketches scattered throughout almost all of Leonardos papers, Rosheim has reconstructed Leonardos programmable cart, which was the platform for other automata: a Robot Lion, a Robot Knight, and a hydraulically powered automaton for striking a bell. Through a readable, lively narrative, Mark Rosheim recounts his adventures rediscovering and reconstructing da Vincis designs. In a foreword, the world-renowned Leonardo scholar Carlo Pedretti details the significance of these reconstructions for our understanding of Leonardos oeuvre.

Leonardos Lost Robots