Reactive Kripke Semantics

DOI10.1007/978-3-642-41389-6zbMath1298.03001OpenAlexW895341031MaRDI QIDQ2864222

Dov M. Gabbay

Publication date: 6 December 2013

Published in: Cognitive Technologies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-41389-6

zbMATH Keywords

modal logiccompletenessdeontic logicintuitionistic logicswitch graphsreactive Kripke modelshypermodal logicinformation-bearing systemsreactive automatareactive flow productsreactive grammarsreactive structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

Related Items (2)

Variables and Attitudes ⋮ Verification of dynamic bisimulation theorems in Coq

This page was built for publication: Reactive Kripke Semantics