Most modal logics commonly used nowadays in terms of having philosophical motivations, e. An introduction to modal logic 2009 formosan summer school on logic, language, and computation. Revealing modal status and modal relations 279 modal status 279 modal relations 284 deductive validity 290 5. A view of its evolution 5 was a variable neither always true nor always false. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. 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. Ian horrocks, ullrich hustadt, ulrike sattler, renate schmidt. In semantics theory that many linguists work on, modal logic helps a lot. Advanced truthtable techniques 294 corrected truthtables 294 reduced truthtables 297 6. Consequently formulae are given by the grammar a p j. 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. Modal logic is a textbook on modal logic, intended for readers already acquainted with the elements of formal logic.
Many concepts in philosophy of language can be formalized in modal logic. In this section we give an axiomatic, or hilbertstyle, formulation of is4. 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. 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. The first main result of this paper shows that for the standard modal logics k and. I think this is a great work and i am very glad to have it.
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. Is the picture beginning to break up, or is it just the. However, the term modal logic may be used more broadly for a. An axiomatic formulation of is4 in this paper we shall only consider propositional is4. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to.
Coalgebraic semantics for positive modal logic sciencedirect. The concept of form 301 sentences and sentential forms in a logic 301 the relationship between sentences and sentenceforms 302 7. Modal logic linguistics and philosophy mit opencourseware. These notes are meant to present the basic facts about modal logic and so to provide a common. Propositional modal logic modal logic is the logic of necessity, possibility and other related notions. 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. It is the weakest modal logic containing s1 such that strict equivalence is axiomatized by propositional identity. A solid background in firstorder logic is essential. Undecidability of the unification and admissibility problems for. 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. 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. Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a. Sentential operators are devices that take sentences to form new sentences. Search for library items search for lists search for contacts search for a library.
The upshot of the course is that modal logic, seen as a. 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. 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 n modal logic l and want to introduce in it the universal modalities with their intended interpretation. Since the introduction of kripke semantics in the early 1960s modal logic has been a subject of extensive and vigorous research. Moss, hansjorg tiede, applications of modal logic in linguistics, pp.
Realizability logic and medvedevs logic 52 exercises \ 54 notes 56 3 modal logics 61 3. Modal logic by chagrov, zakharyaschev and a great selection of related books, art and collectibles available now at. 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. Concluding his historical overview, krister segerberg wrote.
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. Modal logic alexander chagrov, professor of mathematics. Modal logic is, strictly speaking, the study of the deductive behavior of the. 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.
Modal logic by alexander chagrov, michael zakharyaschev jstor. 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. Citeseerx document details isaac councill, lee giles, pradeep teregowda. I expect that it will become one of the standard references in the field of modal logic. 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. This is a mathematicallyoriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and. Basic concepts of modal logic video course course outline modal logic extends classical logic with the ability to express not only.
For example, the following are all modal propositions. 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. A new coalgebraic semantics for positive modal logic, to appear as cwi. Goranko and others published handbook of modal logic chap find. Here are some examples, grouped according to the subject they are.
Modal logic, alexander chagrov and michael zakharyaschev. Thus, the lukasiewiczs lnecessity corresponds to the existential modal operator based on. Complexity of modal logic introduction ps pdf author. The most wellknown modal propositions are propositions about what is necessarily the case and what is possibly the case. 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. However, formatting rules can vary widely between applications and fields of interest or study. 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. However a number of deontic and epistemic logics, for example, are nonnormal, often because they give up the kripke schema. 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.
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. Chagrov shows that this problem is decidable for l iff either l ml or l is a join of splitting logics. We show that if we interpret modal diamond as the derived set operator of a topo. Modal logic can be viewed broadly as the logic of different sorts of modalities, or modes of truth. Lecture notes modal logic linguistics and philosophy.
A modal a word that expresses a modalityqualifies a statement. An overview of applications of modal logic in linguistics can be found in. It was first conceived for modal logics, and later adapted to intuitionistic logic and other nonclassical systems. Basic concepts in modal logic1 stanford university. His paper gives an exposition of some features of a semantical theory f modal logics. Modal logic alexander chagrov, michael zakharyaschev. Find materials for this course in the pages linked along the left. This book is an introduction to logic for students of contemporary philosophy. Computational modal logic introduction ps pdf authors. A modala word that expresses a modalityqualifies a statement. 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. 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.
Many individual systems gave rise to more special disciplines, like provability logic, deontic logic, tense logic, epistemic logic, etc. Modal logic is the study of modal propositions and the logical relationships that they bear to one another. Basic concepts in this chapter we recollect some basic facts concerning modal logic, concentrating on completeness theory. We will emphasize model theoretic techniques and investigate how to choose logical languages for modeling purposes. Modern origins of modal logic stanford encyclopedia of. Researchers in areas ranging from economics to computational linguistics have since realised its worth. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. 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. A modern textbook on the mathematics of modal logic was long due, and this work fills the gap perfectly.
325 1077 145 687 149 748 567 388 388 918 552 176 220 774 320 164 1563 496 912 326 1431 562 937 96 1433 1606 1258 961 1341 872 676 998 793