Reactive Kripke semantics / by Dov M. Gabbay.

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

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Gabbay, Dov M., 1945- (Author)
Format:	eBook
Language:	English
Published:	Heidelberg : Springer, [2013]
Series:	Cognitive technologies.
Subjects:	Computer science. Logic. Artificial intelligence. Logic, Symbolic and mathematical.