- Epistemic logic
Entry Topical Term
001 - CONTROL NUMBER
- control field: 91524
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200512164026.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 111128|| azannbabn |a ana c
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh2011005274
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)91524
040 ## - CATALOGING SOURCE
- Original cataloging agency: ABAU
- Language of cataloging: eng
- Transcribing agency: DLC
- Modifying agency: TR-AnTOB
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Epistemic logic
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Epistemic modal logic
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Knowledge, Logic of
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Logic of knowledge
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Modal logic, Epistemic
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Epistemik mantık
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Modality (Logic)
670 ## - SOURCE DATA FOUND
- Source citation: Work cat: Schlesinger, G.N. The range of epistemic logic, 1985.
670 ## - SOURCE DATA FOUND
- Source citation: Stanford encyclopedia of philosophy, via WWW, Nov. 14, 2011
- Information found: (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)
670 ## - SOURCE DATA FOUND
- Source citation: Rescher, N. Epistemic logic, 2005:
- Information found: 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)
670 ## - SOURCE DATA FOUND
- Source citation: Journal of logic, language and information, autumn 2003:
- Information found: p. 381 (Epistemic logic is a modal logic used to reason about information, including higher order information)
670 ## - SOURCE DATA FOUND
- Source citation: Lescanne, P. Mechanizing epistemic logic with Coq, 2004:
- Information found: 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)
670 ## - SOURCE DATA FOUND
- Source citation: Wikipedia, Nov. 14, 2011
- Information found: (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)
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: Op 12.05.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh2011005274
- Source of heading or term: lcsh
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: (TR-AnTOB)91525
- Source of heading or term: etuturkob
