Thus a new mathematical object of investigation has been created. This chapter is a continuation of the preceding one, and we begin it at the place where the authors of basic modal logic left us about fteen years ago. Modal logic alexander chagrov, professor of mathematics. Modal logic is a textbook on modal logic, intended for readers already acquainted with the elements of formal logic. Ian horrocks, ullrich hustadt, ulrike sattler, renate schmidt. Modal logic can be viewed broadly as the logic of different sorts of modalities, or modes of truth. Algebraic t o ols for mo dal logic mai gehrke y yde venema general aim there is a long and strong tradition in logic researc h of applying algebraic tec hniques in order to deep en our understanding of logic.
Modal logic by alexander chagrov, michael zakharyaschev jstor. For a novice this book is a mathematicallyoriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the notruledout. It was first conceived for modal logics, and later adapted to intuitionistic logic and other nonclassical systems. This chapter is a continuation of the preceding one, and we begin it at the place where the authors of basic modal logic left us about fifteen years ago. Revealing modal status and modal relations 279 modal status 279 modal relations 284 deductive validity 290 5. Realizability logic and medvedevs logic 52 exercises \ 54 notes 56 3 modal logics 61 3. Alexander chagrov and michael zakharyaschevs modal logic oup, 1997 is a volume in the oxford logic guides series and also concentrates on propositional modal logics. Basic concepts in modal logic1 stanford university.
Find materials for this course in the pages linked along the left. Sentential operators are devices that take sentences to form new sentences. Diamond as derivative guram bezhanishvili department of mathematical sciences, new mexico state university leo esakia and david gabelaia department of mathematical logic, a. Modal logic basics suppose now that we have an nmodal logic l and want to introduce in it the universal modalities with their intended interpretation.
It is the weakest modal logic containing s1 such that strict equivalence is axiomatized by propositional identity. We will emphasize model theoretic techniques and investigate how to choose logical languages for modeling purposes. Thus, the lukasiewiczs lnecessity corresponds to the existential modal operator based on. Modal logic is the study of modal propositions and the logical relationships that they bear to one another. This book is an introduction to logic for students of contemporary philosophy. As 0 and should behave like the s5 box and diamond, the most natural way to do this is to take the n f 1 modal logic lu l axioms of s5 for and 0 0po qipo i 1 n in the language.
For example, the statement john is happy might be qualified by saying that john is usually happy, in which case the term usually is functioning as a modal. Search for library items search for lists search for contacts search for a library. Chagrov shows that this problem is decidable for l iff either l ml or l is a join of splitting logics. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic. However a number of deontic and epistemic logics, for example, are nonnormal, often because they give up the kripke schema. The most wellknown modal propositions are propositions about what is necessarily the case and what is possibly the case. The upshot of the course is that modal logic, seen as a. In this section we give an axiomatic, or hilbertstyle, formulation of is4.
For a novice this book is a mathematicallyoriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal. Is the picture beginning to break up, or is it just the. Citeseerx document details isaac councill, lee giles, pradeep teregowda. Moss, hansjorg tiede, applications of modal logic in linguistics, pp. This is a mathematicallyoriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and read more. A modal a word that expresses a modalityqualifies a statement. These notes are meant to present the basic facts about modal logic and so to provide a common. Purchase handbook of modal logic, volume 3 1st edition. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Basic concepts of modal logic video course course outline modal logic extends classical logic with the ability to express not only. The first main result of this paper shows that for the standard modal logics k and. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Sep 29, 2004 read modal logic, alexander chagrov and michael zakharyaschev, journal of logic, language and information on deepdyve, the largest online rental service for scholarly research with thousands of academic publications available at your fingertips. Computational modal logic introduction ps pdf authors.
Many concepts in philosophy of language can be formalized in modal logic. The concept of form 301 sentences and sentential forms in a logic 301 the relationship between sentences and sentenceforms 302 7. Complexity of modal logic introduction ps pdf author. This is a mathematicallyoriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and. Willem blok and modal logic 9 lewis 1918, 1932 introduced his prop ositional modal lo gics, in par ticular s4, in an attempt to cope with the paradoxes of material im. Modal logic, alexander chagrov and michael zakharyaschev. Modal logic basics suppose now that we have an n modal logic l and want to introduce in it the universal modalities with their intended interpretation. Positive modal logic is the restriction of the modal local consequence relation defined by the class of all kripke models to the propositional negationfree modal language. A modala word that expresses a modalityqualifies a statement. Modern origins of modal logic stanford encyclopedia of. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to.
In semantics theory that many linguists work on, modal logic helps a lot. Undecidability of the unification and admissibility problems for. Lecture notes modal logic linguistics and philosophy. Diamond as derivative guram bezhanishvili department of mathematical sciences, new mexico state university. However, formatting rules can vary widely between applications and fields of interest or study. Modal logic for a novice this book is a mathematicallyoriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. Read modal logic, alexander chagrov and michael zakharyaschev, journal of logic, language and information on deepdyve, the largest online rental service for scholarly research with thousands of academic publications available at your fingertips. Here are some examples, grouped according to the subject they are. Consequently formulae are given by the grammar a p j. Modern modal logic originated as a branch of philosophical logic in which the concepts of. In any case, if anyone has studied this before or knows of any references on the interplay between modal logic and graph theory i would be very interested to read about it, and if it has not been studied before then i would be interested of any ideas regarding what open research problems could be stated to tackle the correspondence between. It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and iii some elementary philosophy of logic. In this paper, we tell a story about incompleteness in modal logic.
A solid background in firstorder logic is essential. Researchers in areas ranging from economics to computational linguistics have since realised its worth. His paper gives an exposition of some features of a semantical theory f modal logics. Kripke semantics also known as relational semantics or frame semantics, and often confused with possible world semantics is a formal semantics for nonclassical logic systems created in the late 1950s and early 1960s by saul kripke and andre joyal. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Modal logic is, strictly speaking, the study of the deductive behavior of the. Modal logic alexander chagrov, michael zakharyaschev for a novice this book is a mathematicallyoriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. Propositional modal logic modal logic is the logic of necessity, possibility and other related notions. For example, the following are all modal propositions. A view of its evolution 5 was a variable neither always true nor always false.
Since the introduction of kripke semantics in the early 1960s modal logic has been a subject of extensive and vigorous research. Modal logic alexander chagrov, michael zakharyaschev. An axiomatic formulation of is4 in this paper we shall only consider propositional is4. Advanced truthtable techniques 294 corrected truthtables 294 reduced truthtables 297 6. An introduction to modal logic 2009 formosan summer school on logic, language, and computation. Modal logic linguistics and philosophy mit opencourseware. As 0 and should behave like the s5 box and diamond, the most natural way to do this is to take the n f 1modal logic lu l axioms of s5 for and 0 0po qipo i 1 n in the language. By linking the modal logics in the hierarchy to the modal logics of medvedev frames it has been shown that the modal logic of bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. Many individual systems gave rise to more special disciplines, like provability logic, deontic logic, tense logic, epistemic logic, etc. I think this is a great work and i am very glad to have it. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and. I expect that it will become one of the standard references in the field of modal logic.
Coalgebraic semantics for positive modal logic sciencedirect. Modal logic 35 by alexander chagrov and michael zakharyaschev 1997, hardcover at the best online prices at ebay. Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a. A modern textbook on the mathematics of modal logic was long due, and this work fills the gap perfectly. Basic concepts in this chapter we recollect some basic facts concerning modal logic, concentrating on completeness theory. A new coalgebraic semantics for positive modal logic, to appear as cwi. Concluding his historical overview, krister segerberg wrote. Goranko and others published handbook of modal logic chap find. However, the term modal logic may be used more broadly for a. Studies in modal logic are heavily based now on welldeveloped mathematical methods. Modal logic by chagrov, zakharyaschev and a great selection of related books, art and collectibles available now at. An overview of applications of modal logic in linguistics can be found in.
547 1519 1140 560 1534 487 39 1096 631 282 185 340 371 322 1334 616 712 1165 4 109 791 298 363 1253 898 1518 751 1219 1145 1260 398 1107 1402 649 1427 104 654 162 122 444 1016 132