We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general undecidable, and (...) can be -complete. These classifications are exact. For first order theories even finite sets of premises can generate such consequence sets in either calculus. (shrink)

It is well-known that classical models of belief are not realistic representations of human doxastic capacity; equally, models of actions involving beliefs, such as decisions based on beliefs, or changes of beliefs, suffer from a similar inaccuracies. In this paper, a general framework is presented which permits a more realistic modelling both of instantaneous states of belief, and of the operations involving them. This framework is motivated by some of the inadequacies of existing models, which it overcomes, whilst retaining technical (...) rigour in so far as it relies on known, natural logical and mathematical notions. The companion paper (Towards a “sophisticated” model of belief dynamics. Part II) contains an application of this framework to the particular case of belief revision. (shrink)

In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates in a well-specified, natural yet simple class of particular circumstances; secondly, can accommodate iterated revisions, recovering several proposed revision operators (...) for iterated revision as special cases; and finally, offers an analysis of Rott’s recent counterexample to several Gärdenfors postulates [32], elucidating in what sense it fails to be one of the special cases to which these postulates apply. (shrink)

Nelson Goodman cast the ‘problem of induction’ as the task of articulating the principles and standards by which to distinguish valid from invalid inductive inferences. This paper explores some logical bounds on the ability of a rational reasoner to accomplish this task. By a simple argument, either an inductive inference method cannot admit its own fallibility, or there exists some non-inferable hypothesis whose non-inferability the method cannot infer (violating the principle of ‘negative introspection’). The paper discusses some implications of this (...) limited self-knowledge for the justifiability of inductive inferences, auto-epistemic logic, and the epistemic foundations of game theory. (shrink)

In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour becomes evident. Although several logics of awareness have been proposed, little attention has been explicitly dedicated to change in awareness. However, one of the most crucial aspects of awareness is the changes it undergoes, which have countless important consequences for knowledge and action. The aim of this paper is to propose a formal model of awareness change, and (...) to derive from it logics of awareness change. In the first part of the paper, the model of epistemic states of bounded agents proposed in Hill (Stud Log 89(1):81–109, 2008a ) is extended with operations modelling awareness change. In the second part of the paper, it is shown how this model naturally extends the “standard” logic of awareness to yield a logic of awareness change. (shrink)

There has been a recent surge of interest among economists in developing models of doxastic states that can account for some aspects of human cognitive limitations that are ignored by standard formal models, such as awareness. Epistemologists purport to have a principled reason for ignoring the question of awareness: under the equilibrium conception of doxastic states they favour, a doxastic state comprises the doxastic commitments an agent would recognise were he fully aware, so the question of awareness plays no role. (...) The objective of this paper is to scrutinize this argument. A thesis underlying the argument, which we call the independence of doxastic commitments with respect to awareness, is identified, and examples are given where it appears to be violated. By considering these examples, one can get an idea of the price of accepting this thesis. On the one hand, one can escape the conclusion that the thesis is violated, but only at the expense of another principle espoused by all major formal models of belief, which we call constant doxastic rest; and abandoning this principle necessitates extensive revision of current models of belief. On the other hand, there are epistemologically valid reasons for thinking that the thesis fails to hold in the examples, which have to be rebutted if the thesis, and the equilibrium justification for ignoring the issue of awareness, are to be retained. (shrink)

In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in (...) context x. Formulae of the form [x!ψ]φ mean that φ is the case after every possible occurrence of the event x!ψ. Semantically, public announcements diminish the space of possible worlds accepted by agents and sets of agents. The announcement of ψ in context x makes all ¬ψ-Worlds inaccessible to the agents in such context. In this logic, if the set of accessible worlds of G in context x is empty, then the agents in G are not functioning as members of x, they do not identify themselves with x. In such a situation the agents in G may have the possibility to join x. To model this we introduce here a second kind of dynamic modal operator of acceptance shifting of the form G:x↑ψ. The latter means that the agents in G shift (change) their acceptances in order to accept ψ in context x. Semantically, they make ψ-worlds accessible to G in the context x, which means that, after such operation, G is functioning as member of x (unless there are no ψ-worlds). We show that the resulting logic has a complete axiomatization in terms of reduction axioms for both dynamic operators. In the paper we also show how the logic of acceptance and its dynamic extension can be used to model some interesting aspects of judgement aggregation. In particular, we apply our logic of acceptance to a classical scenario in judgment aggregation, the so-called 'doctrinal paradox' or 'discursive dilemma' (Pettit, Philosophical Issues 11: 268-299, 2001; Kornhauser and Sager, Yale Law Journal 96: 82-117, 1986). (shrink)

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article (...) is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics. (shrink)

As van Fraassen pointed out in his opening remarks, Henry Kyburg's lottery paradox has long been known to raise difficulties in attempts to represent full belief as a probability greater than or equal to p, where p is some number less than 1. Recently, Patrick Maher has pointed out that to identify full belief with probability equal to 1 presents similar difficulties. In his paper, van Fraassen investigates ways of representing full belief by personal probability which avoid the difficulties raised (...) by Maher's measure-theoretic version of the lottery paradox. Van Fraassen's more subtle representation dissolves the simple identification of full belief with maximal personal probability. His investigation exploits the richer resources for representing opinion provided by taking conditional, rather than unconditional, personal probability as fundamental. It has interesting implications for equivalent alternative approaches based on non-Archimedean probability, as well as for equivalent approaches in which assumption contexts representing full belief relative to suppositions are taken as fundamental. (shrink)

Different similarity relations on sets are introduced, and their logical properties are investigated. Close relationships are shown to hold between similarity relations that are based on symmetrical difference and operators of belief contraction that are based on relational selection functions. Two new rationality criteria for minimal belief contraction, the maximizing property and the reducing property, are proposed.

ABSTRACT Semi-revision is a mode of belief change that differs from revision in that the input sentence is not always accepted. A constructive approach to semi-revision is proposed. It requires an efficient treatment of local inconsistencies, which is more easily obtainable in belief base models than in belief set models. Axiomatic characterizations of two semi-revision operators are reported.

The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an (...) intuitively plausible way of revising one's beliefs. Since it typically involves the temporary acceptance of an inconsistent set of beliefs, it can only be used in belief representations that distinguish between different inconsistent sets of belief. (shrink)

Multiple contraction (simultaneous contraction by several sentences) and iterated contraction are investigated in the framework of specified meet contraction (s.m.c.) that is extended for this purpose. Multiple contraction is axiomatized, and so is finitely multiple contraction (contraction by a finite set of sentences). Two ways to reduce finitely multiple contraction to contraction by single sentences are introduced. The reduced operations are axiomatically characterized and their properties are investigated. Furthermore, it is shown how iterated contraction can be reduced to single-step, single-sentence (...) contraction. However, in this framework the outcome of iterated contraction depends unavoidably on the order in which the inputs are received. This order-dependence makes it impossible to treat two inputs on an equal footing. Therefore it is often preferable to perform changes involving several pieces of information as multiple rather than iterated change. (shrink)

In the most common approaches to belief dynamics, states of belief are represented by sets that are closed under logical consequence. In an alternative approach, they are represented by non-closed belief bases. This representation has attractive properties not shared by closed representations. Most importantly, it can account for repeated belief changes that have not yet been satisfactorily accounted for in the closed approach.

In order to clarify the problems of iterated (global) belief change it is useful to study simple cases, in particular consecutive contractions by sentences that are both logically and epistemically independent. Models in which the selection mechanism is kept constant are much more plausible in this case than what they are in general. One such model, namely uniform specified meet contraction, has the advantage of being closely connected with the AGM model. Its properties seem fairly adequate for the intended type (...) of contraction. However, the revision operator based on it via the Levi identity collapses into an implausible operation that loses all old information when revising by new information. A weaker version, semi-uniform specified meet contraction, avoids the collapse but has the disadvantage of a remarkably weak logic. It is left as an open issue whether there is an intermediate class of contraction operators that yields a more satisfactory logic. (shrink)

An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are (...) reported on operations on bases that are closed under material implication. (shrink)

A model of coherentist belief contraction is constructed. The outcome of belief contraction is required to be one of the coherent subsets of the original belief set, and a set of plausible properties is proposed for this set of coherent subsets. The contraction operators obtained in this way are shown to coincide with well-known belief base operations. This connection between coherentist and "foundationalist" approaches to belief change has important implications for the philosophical interpretation of models of belief change.

A model of coherentist belief contraction is constructed. The outcome of belief contraction is required to be one of the coherent subsets of the original belief set, and a set of plausible properties is proposed for this set of coherent subsets. The contraction operators obtained in this way are shown to coincide with well-known belief base operations. This connection between coherentist and foundationalist approaches to belief change has important implications for the philosophical interpretation of models of belief change.

Blockage revision is a version of descriptor revision, i.e. belief change in which a belief set K is changed with inputs whose success conditions are metalinguistic expressions containing the belief predicate \. This is a highly general framework that allows a single revision operator \ to take inputs corresponding to sentential revision ), contraction ) as well as more complex and composite operations. In blockage revision, such an operation is based on a relation \ of blockage among the set of (...) potential outcomes. \ signifies that if X satisfies the success condition of a belief change, then Y cannot be its outcome. The properties of blockage revision are investigated, and conditions on the blocking relation are specified that characterize various properties of the resulting operation of change. (shrink)

The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. Reasonable contraction operators without recovery (...) do not seem to be possible for such sets. Instead, however, they can be obtained for non-closed belief bases. Some results on partial meet contractions on belief bases are given, including an axiomatic characterization and a non-vacuous extension of the AGM closure condition. (shrink)

The AGM success postulates for belief expansions and revisions have been widely criticized. This has resulted in the development of a number of non-prioritized belief change theories that violate these postulates. It is shown that we must also discard the monotony postulate for belief expansions if we abandon the success postulates. Non-prioritized belief change theories should instead fulfill a weaker postulate, which we call Conditional Monotony.

Richard Bradley’s Bayesian model of preference kinematics is compared with Sven Ove Hansson’s AGM-style model of preference revision. Both seek to model the revision of preference orders as a consequence of retaining consistency when some preferences change. Both models are often interpreted normatively, as giving advice on how an agent should revise her preferences. I raise four criticisms of the Bayesian model: it is unrealistic; it neglects an important change mechanism; it disregards endogenous information relevant to preference change, in particular (...) about similarity and incompleteness; and its representational framework, when expanded with similarity comparisons, may give misleading advice. These criticisms are based on a principle of conservatism, and on two proposals of similarity metrics for the Bayesian model. The performance of the Bayesian model, with and without the similarity metrics, is then tested in three different cases of preference change, and compared to the performance of the AGM model. (shrink)

The purpose of this note is to formulate some weaker versions of the so called Ramsey test that do not entail the following unacceptable consequenceIf A and C are already accepted in K, then if A, then C is also accepted in K. and to show that these versions still lead to the same triviality result when combined with a preservation criterion.

The meanings of words are not permanent but change over time. Some changes of meaning are quick, such as when a pronoun changes its reference; some are slower, as when two speakers find out that they are using the same word in different senses; and some are very slow, such as when the meaning of a word changes over historical time. A theory of semantics should account for these different time scales. In order to describe these different types of meaning (...) changes, I present an analysis of three levels of communication: instruction, coordination of common ground and coordination of meaning. My first aim is to show that these levels must be considered when discussing lexical semantics. A second aim is to use the levels to identify the communicative roles of some of the main word classes, in particular nouns, adjectives, verbs, indexicals and quantifiers. I argue that the existence of word classes can, to a large extent, be explained by the communicative needs that arise on the different levels. (shrink)

The analyses of explanation and causal beliefs are heavily dependent on using probability functions as models of epistemic states. There are, however, several aspects of beliefs that are not captured by such a representation and which affect the outcome of the analyses. One dimension that has been neglected in this article is the temporal aspect of the beliefs. The description of a single event naturally involves the time it occurred. Some analyses of causation postulate that the cause must not occur (...) later than the effect. If we want this kind of causality it is easy to add the appropriate clause to ( CAUS ). An alternative is not to rule out backwards causation or causal loops a priori , but expect that ( CAUS ), via the properties of the contraction P C - , will result in the desired temporal relation between C and E . One way of ensuring this is to postulate that when the probability function P is contracted to P C - , the probabilities of all events that occurred before C remain the same in P C - as in P . This means that all beliefs about the history of events up to C are left unaltered in the construction of the hypothetical state of belief P C - . In conclusion, I hope to have shown that, in spite of these limitations, ( EXP ) and ( CAUS ) provide viable analyses of explanation and causality between single events for the case when epistemic states can be described by probability functions. I have also shown that the two analyses can be used to explicate the close connections between the two notions. These analyses reduce the problems of explanation and causality, hopefully in a non-circular way, to the problem of identifying contractions of states of belief. (shrink)

The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental states, most notably propositional attitudes such as desires and intentions. In this paper, we present a first attempt to formulate a general framework for understanding (...) the revision of mental states. We develop an abstract belief-desire-intention model of agents, and introduce a notion of rationality for this model. We then present a series of formal postulates characterizing the processes of adding beliefs, desires, and intentions, updating costs and values, and removing beliefs, desires, and intentions. We also investigate the computational complexity of several problems involving the abstract model and comment on algorithms for revision. (shrink)

In their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics. Here, I shall comment on some interesting analogies between the different variants of dynamic semantics and generalized quantum theory to illustrate other kinds of order effects in human cognition, such as belief revision, the resolution of anaphors, and default reasoning that result from (...) the crucial non-commutativity of mental operations upon the belief state of a cognitive agent. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers" belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

The most controversial condition that the AGM theory of rational belief change places on belief contraction is the recovery condition. The condition is controversial because of a series of putative counterexamples due (separately) to I. Levi and S. O. Hansson. In this paper we show that the conflicts that Levi and Hansson arrange between AGM contraction and our intuitions about how to give up beliefs are merely apparent. We argue that these conflicts disappear once we attend more closely to the (...) identification of the beliefs contracted away in each counterexample case. Since, on our view, speakers' belief contraction intentions are often more complicated than they may first appear, we are led to develop apparatus for thinking about the communication and identification of those intentions. Our argument refocuses attention on the difficult question of how to apply the AGM theory to particular cases. (shrink)

Jan Łukasiewicz’s analysis of Aristotle’s syllogism drew attention to the nature of syllogisms as conditionals rather than premise-conclusion arguments. His further idea that syllogisms should be understood as theorems of an axiom system seems a step too far for many logicians. But there is evidence to suggest that Aristotle’s syllogism was to regularise some of the steps made in ‘dialogue games.’ This way of seeing the syllogism is explored in the framework of modern formal dialogue systems. A modern formal syllogistic (...) game, DLSyll, is set out and analysed in use. (shrink)

We present a generalization of Segerberg's onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, with a bi-modal neighborhood semantics. We then show that broccoli logic is a well-known conditional logic, the Burgess-Veltman minimal conditional logic.

I. Levi has advocated a decision-theoretic account of belief revision. We argue that the game-theoretic framework of Interrogative Inquiry Games, proposed by J. Hintikka, can extend and clarify this account. We show that some strategic use of the game rules generate Expansions, Contractions and Revisions, and we give representation results. We then extend the framework to represent explicitly sources of answers, and apply it to discuss the Recovery Postulate. We conclude with some remarks about the potential extensions of interrogative games, (...) with respect to some issues in the theory of belief change. (shrink)

ABSTRACT In the paper we present a survey of some approaches to the semantics of many-valued propositional systems. These approaches are inspired on one hand by classical problems in the investigations of logical aspects of epistemic activity: knowledge and truth, contradictions, beliefs, reliability of data, etc. On the other hand they reflect contemporary concerns of researchers in Artificial Intelligence (and Cognitive Science in general) with inferences drawn from imperfect information, even from total ignorance. We treat the mathematical apparatus that has (...) emerged recently: algebraic structures related to the new logical systems in the same way Boolean algebras correspond to classical logic. (shrink)

There is an important class of conditionals whose assertibility conditions are not given by the Ramsey test but by an inductive extension of that test. Such inductive Ramsey conditionals fail to satisfy some of the core properties of plain conditionals. Associated principles of nonmonotonic inference should not be assumed to hold generally if interpretations in terms of induction or appeals to total evidence are not to be ruled out.

The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single (...) sentences; in the finite case choice contraction allows for reduction. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

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 Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...) the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

The 1985 paper by Carlos Alchourrón, Peter Gärdenfors, and David Makinson, “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty-five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original (...) framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model. (shrink)

We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...) some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

In the paper "On the role of the research agenda in epistemic change", Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; Gärdenfors 1988) should be extended to include a representation of the agent's research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should (...) change in contraction, a problem largely left open by Olsson and Westlund. Two desiderata of an appropriate solution are suggested: one is a principle of continuity, stating that changes in the research agenda should somehow reflect that certain long term research interests are kept fixed. The other desideratum, which is based on part of Olsson and Westlund's motivation for adding research agendas to the epistemic states, is that we should be able to account for how contraction may serve to open up new, fruitful hypotheses for investigation. In order to achieve these desiderata, I base my solution on a revised version of Olsson and Westlund's notion of epistemic state. (shrink)

I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on (...) the notion of an epistemic strategy, a stable plan of action that determines changes in the agent's research agenda. This idea is a further development of an idea put forward in [6], that changes in the research agenda of an agent should be determined by stable, "long term" research interests. I provide complete axioms and a decidability result for the logic. (shrink)