Reactive Kripke Semantics (Cognitive Technologies)

Cognitive

von Dov M. Gabbay

Gebunden

ISBN: 978-3-642-41388-9

ISBN-10: 3-642-41388-9

Springer · 2013