Chapter 4 Modal varieties of temporal logic
| Autor: | Barringer, Howard, Gabbay, Dov |
|---|---|
| Zdroj: | In Foundations of Artificial Intelligence 2005 1:119-165 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Barringer, Howard, Gabbay, Dov |
|---|---|
| Zdroj: | In Foundations of Artificial Intelligence 2005 1:119-165 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|