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. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Ockham and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.
primaryTopic
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. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Ockham and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.
has abstract
A Lógica Epistêmica é uma lógi ...... , Moss, Solecki, entre outros.
@pt
De epistemische logica is een ...... ch-epistemische logica (PDEL).
@nl
Die epistemische Logik (von gr ...... r doxastischen Logik zusammen.
@de
Epistemic modal logic is a sub ...... 1963 with the work of Kripke.
@en
La logique épistémique est une ...... n, Prix Nobel d'économie 2005.
@fr
La lógica epistémica es un cam ...... em, y Baltag, Moss, y Solecki.
@es
Логика знаний, «эпистемическая ...... ремия по экономике 2005 года).
@ru
認識論理(にんしきろんり、英: Epistemic logi ...... が生まれ、会話における認識の微妙な点をモデル化しようとした。
@ja
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词 ...... . J. Lemmon 和 Jaakko Hintikka。
@zh
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
723,738,186
hypernym
type
comment
A Lógica Epistêmica é uma lógi ...... partir do trabalho de Kripke.
@pt
De epistemische logica is een ...... kennis geformaliseerd worden.
@nl
Die epistemische Logik (von gr ...... r doxastischen Logik zusammen.
@de
Epistemic modal logic is a sub ...... 1963 with the work of Kripke.
@en
La logique épistémique est une ...... n, Prix Nobel d'économie 2005.
@fr
La lógica epistémica es un cam ...... partir del trabajo de Kripke.
@es
Логика знаний, «эпистемическая ...... гт, Яакко Хинтикка (1962 г.) .
@ru
認識論理(にんしきろんり、英: Epistemic logi ...... 、1963年にソール・クリプキによって今の形式が完成された。
@ja
认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词 ...... . J. Lemmon 和 Jaakko Hintikka。
@zh
label
Epistemic modal logic
@en
Epistemische Logik
@de
Epistemische logica
@nl
Logique épistémique
@fr
Lógica epistémica
@es
Lógica epistêmica
@pt
Логика знаний
@ru
認識論理
@ja
认识逻辑
@zh