One area of application of logic and logical techniques is the theory of belief revision. It is comparable to epistemic logic in that it is calculated to serve the purposes of both epistemology and artificial intelligence. Furthermore, this theory is related to the decision-theoretical studies of rational choice. The basic ideas of belief-revision theory were presented in the early 1980s by Carlos E. Alchourrón.

In the theory of belief revision, states of belief are represented by what are known as belief sets. A belief set K is a set of propositions closed with respect to logical consequence. When K is inconsistent, it is said to be an “absurd” belief set. Therefore, if K is a belief set and if it logically implies A, then A ∊ K; in other words, A is a member of K. For any proposition B, there are only three possibilities: (1) B ∊ K, (2) ~B ∊ K, and (3) neither B ∊ K nor ~B ∊ K. Accordingly, B is said to be accepted, rejected, or undetermined. The three basic types of belief change are expansion, contraction, and revision.

In an expansion, a new proposition is added to K, in the sense that the status of a proposition A that previously was undetermined is accepted or rejected. In a contraction, a proposition that is either accepted or rejected becomes undetermined. In a rejection, a previously accepted proposition is rejected or a rejected proposition is accepted. If K is a belief set, the expansion of K by A can be denoted by K_Α⁺, its contraction by A denoted by K_A⁻, and the result of a change of A into ~A by K_A^*. One of the basic tasks of a theory of belief change is to find requirements on these three operations. One of the aims is to fix the three generations uniquely (or as uniquely as possible) with the help of these requirements.

For example, in the case of contraction, what is sought is a contraction function that says what the new belief set K_A⁻ is, given a belief set K and a sentence A. This attempt is guided by what the interpretational meaning of belief change is taken to be. By and large, there are two schools of thought. Some see belief changes as aiming at a secure foundation for one’s beliefs. Others see it as aiming only at the coherence of one’s beliefs. Both groups of thinkers want to keep the changes as small as possible. Another guiding idea is that different propositions may have different degrees of epistemic “entrenchment,” which in intuitive terms means different degrees of resistance to being given up.

Proposed connections between different kinds of belief changes include the Levi identity K_A^* = (K_∼A⁻¹)_A⁺. It says that a revision by A is then obtained by first contracting K by ~A and then expanding it by A. Another proposed principle is known as the Harper identity, or the Gärdenfors identity. It says that K_A⁻ = K ∩ K_~A^*. The latter identity turns out to follow from the former together with the basic assumptions of the theory of contraction.

The possibility of contraction shows that the kind of reasoning considered in theories of belief revision is not monotonic. This theory is in fact closely related to theories of nonmonotonic reasoning. It has given rise to a substantial literature but not to any major theoretical breakthroughs.

Temporal logic

Temporal notions have historically close relationships with logical ones. For example, many early thinkers who did not distinguish logical and natural necessity from each other (e.g., Aristotle) assimilated to each other necessary truth and omnitemporal truth (truth obtaining at all times), as well as possible truth and sometime truth (truth obtaining at some time). It is also asserted frequently that the past is always necessary.

The logic of temporal concepts is rich in the different types of questions that fall within its scope. Many of them arise from the temporal notions of ordinary discourse. Different questions frequently require the application of different logical techniques. One set of questions concerns the logic of tenses, which can be dealt with by methods similar to those used in modal logic. Thus, one can introduce tense operators in rough analogy to modal operators—for example, as follows:

FA: At least once in the future, it will be the case that A. PA: At least once in the past, it has been the case that A.

These are obviously comparable to existential quantifiers. The related operators corresponding to universal quantifiers are the following:

GA: In the future from now, it is always the case that A. HA: In the past until now, it was always the case that A.

These operators can be combined in different ways. The inferential relations between the formulas formed by their means can be studied and systematized. A model theory can be developed for such formulas by treating the different temporal cross sections of the world (momentary states of affairs) in the same way as the possible worlds of modal logic.

Beyond the four tense operators mentioned earlier, there is also the puzzling particle “now,” which always refers to the present of the moment of utterance, not the present of some future or past time. Its force is illustrated by statements such as “Never in the past did I believe that I would now live in Boston.” Other temporal notions that can be studied in similar ways include terms in the progressive tense, such as next time, since, and until.

This treatment does not prejudge the topological structure of time. One natural assumption is to construe time as branching toward the future. This is not the only possibility, however, for time can instead be construed as being linear. Either possibility can be enforced by means of suitable tense-logical assumptions.

Other questions concern matters such as the continuity of time, which can be dealt with by using first-order logic and quantification over instants (moments of time). Such a theory has the advantage of being able to draw upon the rich metatheory of first-order logic. One can also study tenses algebraically or by means of higher-order logic. Comparisons between these different approaches are often instructive.

In order to do justice to the temporal discourse couched in ordinary language, one must also develop a logic for temporal intervals. It must then be shown how to construct intervals from instants and vice versa. One can also introduce events as a separate temporal category and study their logical behaviour, including their relation to temporal states. These relations involve the perfective, progressive, and prospective states, among others. The perfective state of an event is the state that comes about as a result of the completed occurrence of the event. The progressive is the state that, if brought to completion, constitutes an occurrence of the event. The prospective state is one that, if brought to fruition, results in the initiation of the occurrence of the event.

Other relations between events and states are called (in self-explanatory terms) habituals and frequentatives. All these notions can be analyzed in logical terms as a part of the task of temporal logic, and explicit axioms can be formulated for them. Instead of using tense operators, one can deal with temporal notions by developing for them a theory by means of the usual first-order logic.