Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

We show how belief revision can be treated systematically in the format of dynamicepistemic
logic, when operators of conditional belief are added. The core engine consists of definable …

We present a logical setting that incorporates a belief-revision mechanism within Dynamic-
Epistemic logic. As the “static” basis for belief revision, we use epistemic plausibility models …

Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …

This dissertation pursues two tightly interwoven goals: to bring out the relevance of
questions for the field of logic, and to establish a solid theory of the logic of questions within …

This paper presents a thorough description of Nyamulagira's January 2010 volcanic
eruption (North Kivu, Democratic Republic of Congo), based on a combination of field …

In 'belief revision'a theory\cal K is revised with a formula φ resulting in a revised theory\cal K
∗ φ. Typically, ! φ is in\cal K, one has to give up belief in ! φ by a process of retraction, and φ …

The past 25 years have seen many attempts to introduce defeasible-reasoning capabilities
into a description logic setting. Many, if not most, of these attempts are based on preferential …