1
Basic Concepts
Languages of propositional modal logic are propositional languages to which sen- tential operators (usually called modalities or modal operators) have been added. In spite of their syntactic simplicity, such languages turn out to be useful tools for describing and reasoning about relational structures. A relational structure is a non-empty set on which a number of relations have been defined; they are wide- spread in mathematics, computer science, artificial intelligence and linguistics, and are also used to interpret first-order languages. Now, when working with relational structures we are often interested in struc- tures possessing certain properties. Perhaps a certain transitive binary relation is particularly important. Or perhaps we are interested in applications where ‘dead ends,’ ‘loops,’ and ‘forkings’ are crucial, or where each relation is a partial func- tion. Wherever our interests lie, modal languages can be useful, for modal oper- ators are essentially a simple way of accessing the information contained in rela- tional structures. As we will see, the local and internal access method that modali- ties offer is strong enough to describe, constrain, and reason about many interesting and important aspects of relational structures. Much of this book is essentially an exploration and elaboration of these remarks. The present chapter introduces the concepts and terminology we will need, and the concluding section places them in historical context.
Chapter guide Section 1.1: Relational Structures. Relational structures are defined, and a num- ber of examples are given. Section 1.2: Modal Languages. We are going to talk about relational structures using a number of different modal languages. This section defines the basic modal language and some of its extensions. Section 1.3: Models and Frames. Here we link modal languages and relational structures. In fact, we introduce two levels at which modal languages can
1 2 1 Basic Concepts be used to talk about structures: the level of models (which we explore in Chapter 2) and the level of frames (which is examined in Chapter 3). This section contains the fundamental satisfaction definition, and defines the key logical notion of validity. Section 1.4: General Frames. In this section we link modal languages and rela- tional structures in yet another way: via general frames. Roughly speak- ing, general frames provide a third level at which modal languages can be used to talk about relational structures, a level intermediate between those provided by models and frames. We will make heavy use of general frames in Chapter 5. Section 1.5: Modal Consequence Relations. Which conclusions do we wish to draw from a given a set of modal premises? That is, which consequence relations are appropriate for modal languages? We opt for a local conse- quence relation, though we note that there is a global alternative. Section 1.6: Normal Modal Logics. Both validity and local consequence are de- fined semantically (that is, in terms of relational structures). However, we want to be able to generate validities and draw conclusions syntactically. We take our first steps in modal proof theory and introduce Hilbert-style axiom systems for modal reasoning. This motivates a concept of central importance in Chapters 4 and 5: normal modal logics. Section 1.7: Historical Overview. The ideas introduced in this chapter have a long and interesting history. Some knowledge of this will make it easier to understand developments in subsequent chapters, so we conclude with a historical overview that highlights a number of key themes.
1.1 Relational Structures
Definition 1.1 A relational structure is a tuple F whose first component is a non- F empty set called the universe (or domain) of , and whose remaining compo-
nents are relations on . We assume that every relational structure contains at
least one relation. The elements of have a variety of names in this book, includ-
ing: points, states, nodes, worlds, times, instants and situations.
An attractive feature of relational structures is that we can often display them as simple pictures, as the following examples show.
Example 1.2 Strict partial orders (SPOs) are an important type of relational struc-