Cargando…
Kripke's worlds /
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide semantics for various modal logics (alethic, temporal, epistemic and doxastic, dynamic, deontic, descr...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Basel : London :
Birkhäuser ; Springer [distributor],
2011.
|
| Colección: | Studies in universal logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |