Original language | English |
---|---|
Pages (from-to) | 81-129 |
Number of pages | 49 |
Journal | Annals of Mathematics and Artificial Intelligence |
Volume | 66 |
Issue number | 1 |
DOIs | |
State | Published - Dec 2012 |
Keywords
- Modal logic
- Temporal logic
Dov Gabbay
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 81-129 |
Number of pages | 49 |
Journal | Annals of Mathematics and Artificial Intelligence |
Volume | 66 |
Issue number | 1 |
DOIs | |
State | Published - Dec 2012 |