𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A New–old Characterisation of Logical Knowledge

✍ Scribed by Grattan-Guinness, Ivor

Book ID
111923284
Publisher
Taylor and Francis Group
Year
2012
Tongue
English
Weight
327 KB
Volume
33
Category
Article
ISSN
0144-5340

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic of Knowledge
A Logic of Knowledge
✍ W. Richard Stark 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB

A LOGIC OF KNOWLEDGE by W. RICHARD STARK,

A logic of knowledge and justified assum
A logic of knowledge and justified assumptions
✍ Fangzhen Lin; Yoav Shoham 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 948 KB

Lin, F. and Y. Sh0ham, A logic of knowledge and justified assumptions, Artificial Intelligence 57 (1992) 271-289. In this paper we define the logic GK of knowledge and justified assumptions. GK is best understood as a formalization of autoepistemic reasoning processes that are more general than tho