From Turner's Logic of Universal Causation to the Logic of GK [chapter]

Jianmin Ji, Fangzhen Lin
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning. To date, it has been used to embed in it default logic, autoepistemic logic, and general logic programming under stable model semantics. Besides showing the generality of GK as a logic for nonmonotonic reasoning, these embeddings shed light on the relationships among these other logics. Along this line, we show that Turner's
more &raquo; ... ogic of universal causation can be naturally embedded into logic of GK as well.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30743-0_25">doi:10.1007/978-3-642-30743-0_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bp3ewsovpzalpe6q22g57iyg6u">fatcat:bp3ewsovpzalpe6q22g57iyg6u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830051405/http://staff.ustc.edu.cn/~jianmin/publist/Conferece_Articals.files/vl65_camera_ready.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ca/70/ca70e64578fd3f15547b3326391d147e7bc04685.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-30743-0_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>