Levesque's axiomatization of only knowing is incomplete
β Scribed by Joseph Y. Halpern; Gerhard Lakemeyer
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 463 KB
- Volume
- 74
- Category
- Article
- ISSN
- 0004-3702
No coin nor oath required. For personal study only.
β¦ Synopsis
We show that the axiomatization given by Levesque for his logic of "only knowing" [ 21, which he showed to be sound and complete for the unquantified version of the logic and conjectured to be complete for the full logic, is in fact incomplete.
π SIMILAR VOLUMES
False accusations and false confessions of witchcraft in Salem, Massachusetts, took her mother, Tituba, away from her. Now Violet seeks revenge on those who tore her family apart. Readers will be instantly transported back in time in this dark and gripping novel! It's been a year since the Salem W
False accusations and false confessions of witchcraft in Salem, Massachusetts, took her mother, Tituba, away from her. Now Violet seeks revenge on those who tore her family apart. Readers will be instantly transported back in time in this dark and gripping novel! It's been a year since the Salem W
False accusations and false confessions of witchcraft in Salem, Massachusetts, took her mother, Tituba, away from her. Now Violet seeks revenge on those who tore her family apart. Readers will be instantly transported back in time in this dark and gripping novel! It's been a year since the Salem W
He is her only hope of escape, she is his only prospect of happiness... Lady Amy Hartley is in danger. Her incredible beauty has engaged the attention of a lunatic admirer who sends her obsessive and threatening letters. After expressing their admiration for her, all her suitors are found dead. Amy