Epistemic Logic: A Survey of the Logic of Knowledge
نویسندگان
چکیده
منابع مشابه
Epistemic Logic: A Survey
Epistemic logic is the logic of knowledge: how do you reason about the question whether your silent admirer knows that you know that (s)he sent you an anonymous Valentine card? Is it harmful if, at a literature-exam you don't know the contents of a chapter? No, as long as you know that the examiner does not know that you do not know it. Knowing whether your neighbor knows that he regularly play...
متن کاملA Survey of Dynamic Epistemic Logic
Dynamic Epistemic Logic is the study of how to reason about knowledge, belief, and communication. This paper surveys this fast-growing field, covering syntax, semantics, axiomatics, bisimulation and action emulation, expressivity results, extension and embedding results, and issues of truth persistence and paradox that result from doxastic change. Along the way, we identify a number of open pro...
متن کاملEpistemic Logic and Knowledge Management
In most textbooks on knowledge management (KM; e.g., [5]), there is no reference to epistemic concepts at all. In [8], there is even an explicit statement that epistemologic concepts of knowledge are “useless“ for KM, since KM seems to be about the use rather than the truth aspect of knowledge. However, there is a remarkably explicit reference to such concepts in [7] establishing the use of epi...
متن کاملEpistemic logic and logical omniscience: A survey
This survey brings together a collection of epistemic logics and discusses their approaches in alleviating the logical omniscience problem. Of particular note is the logic of implicit and explicit belief. Explicit belief refers to information actively held by an agent, while implicit belief refers to the logical consequence of explicit belief. Ramifications of Levesque’s logic include nonstanda...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Principia: an international journal of epistemology
سال: 2019
ISSN: 1808-1711,1414-4247
DOI: 10.5007/1808-1711.2018v22n3p533