epistemic logic

Also found in: Dictionary, Wikipedia.
Graphic Thesaurus  🔍
Display ON
Animation ON
  • noun

Words related to epistemic logic

the modal logic of knowledge and uncertainty and ignorance

Related Words

References in periodicals archive ?
Johan van Benthem examines FR and its relation to cognate paradoxes within the backdrop of dynamic epistemic logic.
The analysis of Cluedo used what players know about each other and about each other's actions: this can be formalised in an area of logic called epistemic logic, also known as the logic of knowledge.
Of somewhat later date than game theory is the logical discipline known as epistemic logic, or the logic of knowledge.
For more information on epistemic logic, see the accessible Reasoning about Knowledge.
With these short overviews of the areas of probability theory, game theory and epistemic logic I close my contribution.
His current research focuses on the dynamics of knowledge, information-based security protocols, modal logics for belief revision, proof tools for epistemic logic, combinatorics, and computer and information science education.
This can be compatible with epistemic logics with more than two values.
According to Hintikka, they are found in IF (independence friendly) logic, which is first-order epistemic logic augmented with the independence operator (/) indicating independence between variables.
The first raises the old debate on how epistemic logic is related to our ordinary notion of knowledge.
Epistemic Logic is not so closely connected to the other two books as they are to each other.
Because it is concerned more to develop a formal system than to discuss the issues in depth, Epistemic Logic is philosophically modest by comparison with its companion volumes.
Now although such facts may rightly interest the logician, Rescher exaggerates their philosophical importance, perhaps the better to connect Epistemic Logic with the more serious philosophical discussions in its companions.
In fact--though some may disagree--just about everything Rescher accomplishes in Epistemic Logic could have been done more quickly and followed more easily in plain English prose, with the occasional x or p thrown in for convenience.
Thus according to epistemic logic knowledge (being known) trickles down in a chain of syllogisms from the major premise to the conclusion in each syllogism.