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

({in_K}): a Non-Fregean Logic of Explicit Knowledge

โœ Scribed by Steffen Lewitzka

Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
331 KB
Volume
97
Category
Article
ISSN
0039-3215

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