《(欣蒂卡) Hintikka amp; Halonen - 1998 - #39;Epistemic Logic#39; (REP)》.pdfVIP

Epistemic logic Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them. Initially these regularities were presented in the form of an axiomatic-deductive system, as in other branches of logic. Later, questions began to be asked concerning the model theory on which such an ‘epistemiclogic’ is based. Still later, the concrete i