epistemic logic
X 2011 05: Epistemic Logic: Five Questions Interview
... But is this merely ‘interdisciplinarity’ in the sense of aimless un- predictable wanderings? I have argued elsewhere that intellectual history shows continuities that only look discontinuous when one imposes the grid of ...
12
PP 2011 10: The synchronicity of dynamic epistemic logic
... Dynamic epistemic logic (DEL) (Baltag et ...in epistemic status over time, is not a temporal logic and cannot itself express temporal ...of epistemic and doxastic change represented in ...
15
MoL 2010 14: Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic
... Jan Heylen, Leon Horsten, and Chris Kelp. I also wish to thank my former Leu- ven colleagues Igor Douven, Sebastian Sequoiah-Grayson, Sylvia Wenmackers and David Etlin; I wish them much success at their new homebase in ...
118
PP 2019 25: A dynamic epistemic logic for resource bounded agents
... Dynamic Epistemic Logic (DEL) (Baltag & Renne, 2016; van Benthem, 2011; van Ditmarsch, van der Hoek, & Kooi, 2007) to keep track of the reasoning steps available to the agent, their (orderly) ...
16
PP 2019 15: Truthmaker Semantics for Epistemic Logic
... to epistemic logic and the ex- tent to which it can best the Hintikkan ...the epistemic logician. Then, we offer a list of candidate epistemic principles and review the arguments that render ...
33
MoL 2017 20: Abstractions and Idealisations in Epistemic Logic
... in epistemic logic and having attracted attention to their interconnectivity, we now have a look at how the interviewed researchers view upon the practice of epistemic ...formalised.” ...
105
PP 2011 37: An inquisitive dynamic epistemic logic
... traditions a step further. From the viewpoint of del , the main benefit lies in the fact that inquisitiveness now does not only enter the picture at the level of speech acts, but already at the level of semantic content, ...
19
Strong Equivalence for Epistemic Logic Programs Made Easy
... Epistemic Logic Programs (ELPs), that is, Answer Set Pro- gramming (ASP) extended with epistemic operators, have re- ceived renewed interest in recent years, which led to a flurry of new research, as ...
8
PP 2003 06: Rational Dynamics and Epistemic Logic in Games
... of epistemic logic and related themes in game theory — though they are often ...Likewise, epistemic equilib- rium is best understood with an explicit logical account of the actions leading to ...
34
PP 2005 20: Epistemic Logic and Epistemology, the state of their affairs
... the epistemic transparency of public announcements – resulting in Perfect Recall for epistemic agents ...dynamic-epistemic logic of announcements is decidable, and no more complex than ...
21
PP 2010 14: Planning based on dynamic epistemic logic
... In § 2 we shall give a standard introduction to dynamic epistemic logic, following roughly the textbook [25]. At the end of the section, we stress that DEL is not a temporal logic and comment on ...
15
PP 2019 24: Rule based Reasoners in Epistemic Logic
... Abstract. In this paper, we offer a balanced response to the problem of logical omniscience, whereby agents are modeled as non-omniscient yet still logically competent reasoners. To achieve this, we account for the ...
13
PP 2003 04: The Epistemic Logic of IF Games
... other logic games due to Lorenzen, Ehrenfeucht, and more recent authors such as Hodges, Blass, or ...between logic and game theory may be as thin as just the shared notion of a ...and epistemic ...
32
MoL 2014 16: Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols
... our epistemic logic is static: Given a certain model, our agents either know something or ...the logic of public announcements, revolving around the next ...
100
PP 2015 22: Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks
... introduce epistemic threshold ...which epistemic conditions their diffusion dynamics is step-wise ...the logic to a sound and complete dynamic epistemic logic for the epistemic ...
29
Reasoning about Dynamic Epistemic Logic
... Dynamic Epistemic Logic (DEL) is a PDL-style logic [14] to reason about epistemic actions and updates in a multi-agent ...on epistemic programs, ...
10
Common Knowledge in Epistemic Logic With Hypotheses
... Probably one of the most interesting examples in the direction of dynamic epistemic logic is provided by the notion of common knowledge. Common knowledge, originally defined by Lewis [9], has been ...
13
THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC
... §1. Introduction. Two operators often added to a basic epistemic logic are common knowledge and public announcements, as in [10, 1] and many subsequent publications such as [7, 5, 3, 9, 2]. Public ...
14
MoL 2017 18: Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game
... the logic-based model. We used Dynamic Epistemic Logic (DEL) to build a new model of ...particular logic that each model is based on, because they both capture feedback types as predictors of ...
72
MoL 2017 26: The Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
... the epistemic and social sides of gossip and proceeds by giving formal protocols that correspond to a number of differ- ent conversation ...dynamic epistemic logic, which is able to model the changes ...
74