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.

单词	Epistemic logic
释义	Epistemic logic 英语百科 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.
随便看	clear request packet的意思 clear round的意思 clear的意思 clearsach的意思 Clear Sailing的意思 clear sailings的意思 clears away的意思 clear sb off sth的意思 clear sbr的意思 clear scan的意思 clear scan radar的意思 clear scores的意思 Clear screen的意思 clear screen command的意思 clear section的意思 clear session的意思 clear session request的意思 clear shaper的意思 clear sheet的意思 clear sheet glass的意思 clearshield的意思 clearshields的意思 clear shift logical circuit的意思 clear shoal的意思 clear side的意思

Epistemic logic

Epistemic modal logic