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 ?
Our project goal is epistemic protocol synthesis for synchronous and asynchronous multi-agent systems, by way of using and developing dynamic epistemic logics.
For temporal epistemic logic, perfect recall is characterized by the axiom [K.
However, dynamic epistemic logic (DEL) (van Ditmarsch, van der Hoek, and Kooi 2007) studies actions that bring about mental change: change of knowledge in particular.
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.
This can be compatible with epistemic logics with more than two values.
1985(a)~: The Range of Epistemic Logic, Aberdeen: Aberdeen University Press.
The innovations of MacFarlane and Yalcin independently reinforce the modal collapse espoused by Jaakko Hintikka in his 1962 epistemic logic (which relied on the implausible KK principle and heavy idealizations).
Wooldridge presented a new temporal and epistemic logic and its applications to multiagent systems.
His research interests include document architecture, the development of text-related tools and strategies for researchers in the humanities, and epistemic logic.
99--This is a rich and ambitious collection of ten papers drawn from Hintikka's work in various fields, ranging from epistemic logic and game-theoretic semantics, to exegetical work on historical figures.
A nice feature of Levesque and Lakemeyer's treatment of epistemic logic is that in contrast to many other treatments of modalities, the discussion is reasonably easy to follow for people who are not experts in the field.
Epistemic Logic is intended as a systematic introduction to its topic; the other two briefly lay out the author's views on their respective subjects without relying on his earlier work or entering into current debates.
It would be surprising if it did not involve, however implicitly, ingredients that we would identify as belonging to epistemic logic.
It is necessary, then, to put some question marks upon the arguments adopted for privileging formal against epistemic logic by Bochenski, the Kneales, and Risse in their contributions to the history of logic in the modern age.