[PDF] Top 20 PP 2006 11: Dynamic Logic of Belief Revision

... DEL and AGM are in the same boat with respect to many further issues. E.g., it has often been observed that many informational processes involve both the tempo- ral past, i.e., the history of what has happened so far, ... See full document

... a dynamic version of the static epistemic preference language, where a mechanism of information update lives together with one of preference ...of dynamic-epistemic logic with agents’ preferences ... See full document

... Complete logics capturing epistemic reasoning about oneself and others are known (Fagin et al. 1995). The base system is a minimal modal logic. A restriction to equivalence relations add S5 axioms of positive and ... See full document

... of belief revision, and belief change ...governing belief revision which showed that this process has clear formal structures regulating its behavior, and (b) the basics of ... See full document

... erally, [YAM 06] takes the update paradigm to logics of commands and obligations, modelling changes brought about by various acts of commanding. It combines a multi- agent variant of the language of monadic deontic ... See full document

... Structured issues and agenda dynamics. To us, the most striking limitation of our current approach is the lack of structure in our epistemic issue models. Surely, both in conversation and in general investigation, the ... See full document

... a dynamic perspective and we have discussed how the social network structure constrains the dynamics of its ...private belief state, which we call “inner belief” and their publicly observable ... See full document

... modal logic came from philosophy, and dealt with such topics as modality, knowledge, conditionals, and ...modal logic even more ...and belief revision), linguistics (for modal logics of ... See full document

... Synchronicity. As demonstrated through the two translations, DEL can be interpreted as either sat- isfying Syn or NPTP. These are diametrically op- posed properties of a range of conceivable percep- tions of time. ... See full document

... We have presented an analysis of three major probabilistic aspects of observing an event in the framework of dynamic-epistemic logic. The resulting distinction of prior probabilities, occurrence ... See full document

... of logic and ...of belief formation, and then decompose what used to be nonmonotonic inference with a non-­‐ classical logic into a theory of acts of belief revision on top of a ... See full document

... Combinations of epistemic logics and probabilistic reasoning have been stud- ied since the 1990s (cf. van der Hoek (1992)). Fagin and Halpern (1993) and Halpern and Tuttle (1993) were our point of departure for the ... See full document

... and Dynamic Epistemic Logic [DEL, see 6, 5, 18, ...and belief-revision theory has appeared before within at least two lines of ...classical belief-revision policies were treated ... See full document

... of logic. Traditionally, logic is about propositions and ...modern logic is undergoing a Dynamic Turn, putting activities of inference, evaluation, belief revision or ... See full document

... conditional belief, or disposition to belief revision, B / w [read: ‘Conditional on /, the agent believes w’, or: ‘After revising by /, the agent believes w’: belief revision is ... See full document

... in dynamic settings of epistemic and doxastic ...of logic has quickly gained momentum and support, allowing a re-assessment of the role of logic for artificial ...and belief play a crucial ... See full document

... that revision is a concept that is “universal and resurfaces in many areas of logic and applications of ...of revision sequences, and in the wider sense as a conceptual framework for analysing our ... See full document

... tion logic by Parikh and Väänänen [32] whose formulae give rise to imperfect information games in which Eloise may be partially informed about the previous ...Information logic, the formula ∀x(∃y// f (x)) ... See full document

... modal logic should ...modal logic on the class of trees discussed; if a logic does not, it cannot be properly called an IF modal logic in the sense ... See full document

... ([ϕ ∧ ψ]θ → [ϕ](ψ → θ)). The other half makes a crucial appeal to linearity, as may be seen from the counter-model of picture 5. Furthermore, this counter- model invalidates hϕiψ → ([ϕ](ψ → θ) → [ϕ ∧ ψ]θ) under both ... See full document