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 semantic...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Gabbay, Dov M. (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Colección: | Cognitive Technologies,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Conditionals and Modularity in General Logics
por: Gabbay, Dov M., et al.
Publicado: (2011) -
A New Perspective on Nonmonotonic Logics
por: Gabbay, Dov M., et al.
Publicado: (2016) -
Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016) -
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday /
Publicado: (2005) -
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings /
Publicado: (2013)