๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Sartwell's minimalist analysis of knowing

โœ Scribed by William G. Lycan

Publisher
Springer Netherlands
Year
1994
Tongue
English
Weight
126 KB
Volume
73
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Levesque's axiomatization of only knowin
Levesque's axiomatization of only knowing is incomplete
โœ Joseph Y. Halpern; Gerhard Lakemeyer ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 463 KB

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.

Moore's Use of 'Know'
Moore's Use of 'Know'
โœ Malcolm, Norman ๐Ÿ“‚ Fiction ๐Ÿ“… 0 ๐ŸŒ English โš– 690 KB