|
|
J. Y. Halpern and Y. Moses (1992): A guide to completeness and complexity for modal logics of knowledge and belief
| Title: |
A guide to completeness and complexity for modal logics of knowledge and belief |
| Author(s): |
J. Y. Halpern and Y. Moses |
| Year: |
1992 |
| Journal: |
Artificial Intelligence |
| Volume: |
54 |
| Pages: |
319-379 |
Concepts
|
|
