| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Reasoning About Knowledge | Paperback | 978-0-262-56200-3 (0-262-56200-6) | 2003 | Joseph Y. Halpern · Yoram Moses · Moshe Y. Vardi |
| Reasoning About Knowledge | Hardcover | 978-0-262-06162-9 (0-262-06162-7) | 1995 | Joseph Y. Halpern · Yoram Moses · Moshe Y. Vardi |