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. Modern origins of modal logic stanford encyclopedia of. The term modal logic refers to an enrichment of standard formal logic where the standard operations and, or, not, implication and perhaps forall, etc. Apart from the original proof by blok 1978, one can consult numerous more recent references, in particular chagrov and zakharyaschev 1997, chagrova. For example, the following are all modal propositions. Computational modal logic introduction ps pdf authors. The present paper attempts to extend the results of l, in the domain of the propositional calculus, to a class of modal systems called normal. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter.
The upshot of the course is that modal logic, seen as a. This book presupposes that readers know the attractions and power of this approach, including the notions of logical syntax, semantics, proof, and metatheory of formal systems. It is based on the material collected by the authors in the book 2 and the chapter 5 written for the second edition of the handbook of philosophical logic. The idea of this approach is to nd a small possibly nite number of formulas axioms of our logic and set some rules of. Realizability logic and medvedevs logic 52 exercises \ 54 notes 56 3 modal logics 61 3. Reliable information about the coronavirus covid19 is available from the world health organization current situation, international travel. This text provides both a philosophical and technical introduction to this fascinating area. 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. Unlike kripke frames, modal algebras can be viewed as a straightforward translation of the language of modal logic into the language of algebra see, e.
An introduction to modal logic geared towards philosophy students. Purchase handbook of modal logic, volume 3 1st edition. Journal of logic, language and information 8, 255258 1999. A semantic perspective 3 chapters in this handbook. Consequently formulae are given by the grammar a p j. Since the introduction of kripke semantics in the early 1960s modal logic has been a subject of extensive and vigorous research.
A modala word that expresses a modalityqualifies a statement. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to. We will emphasize model theoretic techniques and investigate how to choose logical languages for modeling purposes.
Many concepts in philosophy of language can be formalized in modal logic. Notes on modal logic notes for phil370 eric pacuit october 22, 2012. The most wellknown modal propositions are propositions about what is necessarily the case and what is possibly the case. Basic concepts in this chapter we recollect some basic facts concerning modal logic, concentrating on completeness theory. An axiomatic formulation of is4 in this paper we shall only consider propositional is4. Numerous and frequentlyupdated resource results are available from this search. In semantics theory that many linguists work on, modal logic helps a lot. Modal logic alexander chagrov, michael zakharyaschev download. 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. 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. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. In this section we give an axiomatic, or hilbertstyle, formulation of is4.
A view of its evolution 5 was a variable neither always true nor always false. Now in this, our last chapter, we concentrate our attention on the kind of propositional logic modal propositional logic within which modal concepts feature overtly. I think this is a great work and i am very glad to have it. Modal predicate logic an important topic in philosophical applications of modal logic that we have mostly ignored in this survey is modal predicate 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 it presents in a systematic and comprehensive way a wide range of classical and novel methods and results and can be used by a specialist as a reference.
Alexander chagrov michael zakharyaschev mathematical aspects of modal logics. Basic concepts in modal logic1 stanford university. 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. Modern modal logic originated as a branch of philosophical logic in which the concepts of. An introduction to modal logic 2009 formosan summer school on logic, language, and computation. Modal logic, alexander chagrov and michael zakharyaschev modal logic, alexander chagrov and michael zakharyaschev goranko, valentin 20040929 00.
Modal logic alexander chagrov, michael zakharyaschev. Sep 29, 2004 modal logic, alexander chagrov and michael zakharyaschev goranko, valentin 20040929 00. Gunther propositional logic our language semantics syntax results modal logic our language semantics relations soundness results modal logic we have now seen the propositional calculus. Modal logic, alexander chagrov and michael zakharyaschev valentin goranko 1 journal of logic, language and information volume 8, pages 255 258 1999 cite this article. To do this, we add two unary operators to our alphabet. Intuitionistic and modal logic homepages of uvafnwi staff. While this is faithful to the field as a whole technically, modal predicate logic is just one of many system combinations, it is a serious omission for many purposes, and we will only. 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. However, the term modal logic may be used more broadly for a family of. The scope of this entry is the recent historical development of modal logic, strictly understood as the logic of necessity and possibility, and particularly the historical development of systems of modal logic, both syntactically and semantically, from c.
Chapter 1 introduces the classical propositional logic cl, its syntax and semantics, semantic tableau system, a hilbertstyle calculus, and presents proofs of its. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators. A nice introduction to modal logic though somewhat outdated. However a number of deontic and epistemic logics, for example, are nonnormal, often because they give up the kripke schema.
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 and michael zakharyaschev. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. A new textbook on modal logic providing a modern introduction to modal logic. Complexity of modal logic introduction ps pdf author.
Modal logic is a textbook on modal logic, intended for readers already acquainted with the elements of formal logic. A solid background in firstorder logic is essential. Every normal modal logic is regular and hence classical. However, the student who is more interested in the theory of modal logic will.
Model theory of modal logic introduction ps pdf authors. Buehler based on first order modal logic by fitting and mendelsohn january 5, 2015. Oclcs webjunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. Modal logic by alexander chagrov, michael zakharyaschev jstor. Modal logic is, strictly speaking, the study of the deductive behavior of the. Firstordermodallogic university of california, berkeley. I expect that it will become one of the standard references in the field of modal logic. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. 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. These notes are meant to present the basic facts about modal logic and so to provide a common. 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.
A modern textbook on the mathematics of modal logic was long due, and this work fills the gap perfectly. Ian horrocks, ullrich hustadt, ulrike sattler, renate schmidt. However, nearly nothing has been known about the decidability status of the uni. Lewiss pioneering work starting in 1912, with the first systems devised in 1918, to s.
We define a number of basic modal systems, introduce the possible world semantics for propositional multimodal logics, establish connections with classical firstorder logic, and discuss the decision, complexity and axiomatization problems which will be investigated later on in the book for much more. An overview of applications of modal logic in linguistics can be found in. 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. 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. These notes are meant to present the basic facts about modal logic and so to provide a common ground for. Most modal logics commonly used nowadays in terms of having philosophical motivations, e. For a novice this book is a mathematicallyoriented introduction to modal logi. Algebraic tools for modal logic mai gehrke yde venema esslli01 august 17, 2001 helsinki, finland. Logics, dissertation, universiteit van amsterdam, illc dissertation. Researchers in areas ranging from economics to computational linguistics have since realised its worth. We wish to extend it to make it a bit more expressive. 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. References 1 alexander chagrov and michael zakharyaschev. Then kt is the smallest normal modal logic is the smallest extension of k that contains the re exivity axiom exercise.
121 1154 233 805 1204 1385 1041 941 1564 1580 877 443 1165 84 1086 450 46 174 140 1494 974 324 139 212 28 1470 1044 379 1410 1079 1587 859 1531 993 760 740 527 815 1353 1401 275 960 1087 650 789