| LC control no. | sh2011005274 |
|---|---|
| Topical heading | Epistemic logic |
| Variant(s) | Epistemic modal logic Knowledge, Logic of Logic of knowledge Modal logic, Epistemic |
| See also | Modality (Logic) |
| Found in | Work cat: Schlesinger, G.N. The range of epistemic logic, 1985. Stanford encyclopedia of philosophy, via WWW, Nov. 14, 2011 (Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry) Rescher, N. Epistemic logic, 2005: p. 1 (Epistemic logic is that branch of philosophical logic that seeks to formalize the logic of discourse about knowledge. Its object is to articulate and clarify the general principles of reasoning about claims to and attributions of knowledge---to elucidate their inferential implications and consequences) Journal of logic, language and information, autumn 2003: p. 381 (Epistemic logic is a modal logic used to reason about information, including higher order information) Lescanne, P. Mechanizing epistemic logic with Coq, 2004: p. 1 (Epistemic logic is the logic which formalizes knowledge of agents. ... Epistemic logic is also known as the logic of knowledge, it deals with modalities, which are not part of traditional logic and which modify the meaning of a proposition) Wikipedia, Nov. 14, 2011 (Epistemic modal logic -- Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics) |
 |  |  |