dynamic epistemic logic
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 ...
72
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 ...
15
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
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 ...
29
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 ...use dynamic epistemic logic, which is able to model ...
74
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
PP 2019 25: A dynamic epistemic logic for resource bounded agents
... Abstract: In this paper, we present a dynamic epistemic logic suitable for resource-bounded agents. Our setting is informed by empirical evidence on deductive reasoning performance and therefore it ...
16
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
MoL 2010 18: The Surprise Examination Paradox in Dynamic Epistemic Logic
... I will begin by remarking that surprise appears to be an attitude that always accompanies an act of learning. If you sit on your couch and you see nothing new, or you make no inferences in your head, etc. you cannot get ...
75
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 2011 10: The synchronicity of dynamic epistemic logic
... of dynamic epis- temic logic (DEL) into epistemic tempo- ral logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some DEL protocol; among ...
15
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
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
... in dynamic epistemic logics have been stud- ied before, few works considered how well-known postulates from iterated belief revision theory can be characterised by means of belief bases and their ...
8
X 2011 05: Epistemic Logic: Five Questions Interview
... applications. Epistemic logic is an explicit account of information, adding new operators for knowledge to classical languages that are taken for ...Likewise, dynamic epistemic logic is ...
12
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
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
PP 2003 06: Rational Dynamics and Epistemic Logic in Games
... of epistemic logic and related themes in game theory — though they are often ...explicit dynamic account of the forces leading to it. Likewise, epistemic equilib- rium is best understood with ...
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 ...basic dynamic-epistemic logic of announcements is decidable, and no more complex ...
21
Evidentiality, Epistemic Modality, and Epistemic Status
... the epistemic modality speaks in terms of concepts of reliability, probability, necessity, and ...and epistemic modality have a significant zone of intersection mainly in terms of common means of ...
7
MoL 2009 07: A Dynamic Analysis of Epistemic Possibility
... of epistemic modals makes ...an epistemic modal to another at a point in time t, and then these speakers evaluate this utterance from a later point t 0 ...
68