I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to. Modern origins of modal logic stanford encyclopedia of. This longawaited book replaces hughes and cresswell s two classic studies of modal logic. Ian horrocks, ullrich hustadt, ulrike sattler, renate schmidt. In this section we give an axiomatic, or hilbertstyle, formulation of is4. When we wrote it, we were able to give a reasonably comprehensive survey of the state of modal logic at that time. The semantics of propositional attitudes, bradford booksmit press. Hughes a new introduction to modal logic publisher.
If you want to know even more, get one or both of these. Cresswell this longawaited book replaces hughes and cresswell s two classic studies of modal logic. A new introduction to modal logic is an entirely new work, completely. Modal logic is a simplified form of the first order predicate logic. A new textbook on modal logic providing a modern introduction to modal logic. This is not for a class, just for my own personal studies. Cresswell, alternative completeness theorems for modal systems. The polytheistic approach to modal logics alethic modal logic. Hughes a companion to modal logic, london, methuen, 1984 4 structured meanings. This relationship between properties of frames and modal axioms is called correspondence. Hughes and cresswell 1996 a classical, comprehensive book on modal logics that supersedes two previous books hughes. However, the term modal logic may be used more broadly for a family of.
Other systems of modal logic were then constructed and investigated. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Modal logic can be viewed broadly as the logic of different sorts of modalities, or modes of truth. For correspondence theory results we refer to schmitt sch03 and the book by hughes and cresswell. Pdf a note on the issue of cohesiveness in canonical models.
Pdf in their presentation of canonical models for normal systems of modal logic, hughes and cresswell observe that some of these models are based on a. Further background on modal logic can be found in the book by fitting and mendelsohn fm99. An earlier book of ours, entitled an introduction to modal logic iml, was published in 1968. There is a lack of consistency regarding symbols for modal operators.
They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their. Cresswell, some proofs of relative completeness in modal logic makinson, david, journal of symbolic logic, 1970. Hughes and cresswell, of course, referred to the authors an introduction to modal. Chellas pdf online free download info about modal logic. Model theory of modal logic introduction ps pdf authors. Modal logic was formalized for the first time by c. Cresswell was the coauthor with his colleague and former teacher g. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal this longawaited book replaces hughes and cresswell s two classic studies of modal logic. An axiomatic formulation of is4 in this paper we shall only consider propositional is4. A new introduction to modal logic is an entirely new work, completely re. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators. Completeness and decidability of basic modal logic. Cambridgeuniversitypress,1980,robertgoldblattlogics of time andcomputation, stanford.
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. Assignments modal logic linguistics and philosophy mit. This longawaited book replaces hughes and cresswells two classic studies of modal logic. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. Cresswell, an introduction to modal logic, methuen, 1968. Questions from a new introduction to modal logic by hughes and cresswell.
This very extensive volume represents the current statofa airs in modal logic. Modal predicate logic an important topic in philosophical applications of modal logic that we have mostly ignored in this survey is modal predicate logic. Valentine hacquard linguistics department, university of. Hughes, of an introduction to modal logic, london, methuen, 1968.
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. Download pdf a new introduction to modal logic free. Computational modal logic introduction ps pdf authors. David bourget western ontario david chalmers anu, nyu area editors. An introduction to modal logic geared towards philosophy students. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic.
Pdf a new introduction to modal logic download full. 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. An introduction pdf format for free to read online. Oct 20, 1995 a new introduction to modal logic is an entirely new work, completely rewritten by the authors. In classical modal logic, it is wellknown that some properties of kripke frames are characterized by modal axioms. 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. An advanced, but very accessible, textbook focusing on the main technical results in the area. The classic formal modal logic text, covering both propositional and predicate logics. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal. A semantic perspective 3 chapters in this handbook. A new introduction to modal logic is an entirely new work, completely rewritten by the authors. I expect this would be a standard reference in the. As well as an interest in ancient philosophy he has published several articles on plato and aristotle his main research area is modal logic and the philosophy of language.
Hughes an introduction to modal logic, london, methuen, 1968 2 logics and languages, london, methuen, 1973 reissued as volume i of routledge library editions. Cresswell is professor and chairman of the department of philosophy, victoria university of wellington, new zealand. Philosophy stack exchange is a question and answer site for those interested in the study of the fundamental nature of knowledge, reality, and existence. Questions from a new introduction to modal logic by hughes. Logic, published by methuen in 1968 and reprinted as a university paperback. Hughes g e and cresswell m j 1968 an introduction to modal logic methuen and co from philosophy 101 at laikipia university.
Book note ge hughes and mj cresswell, a companion to modal. An introduction to modal logic and a companion to modal logic. Examples for convenience, we reproduce the item logic modal logic of principia metaphysica in which the modal logic is defined. Hughes and max cresswell, a new introduction to modal logic, 1996. Graham priest, an introduction to nonclassical logic, 2nd edition, 2008.
Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Handbook of modal logic edited by johan van benthem, patrick blackburn and frank wolter. These notes are meant to present the basic facts about modal logic and so to provide a common ground for. On williamson and simplicity in modal logic theodore sider canadian journal of philosophy 46 2016. I no longer have copies of that paper but i enclose a reference from hughes and cresswell introduction to modal logic 1968 enclosed labelled 1. This general method for extracting ontology from logic is salutary. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Cresswell, an introduction to modal logic london 1968. Questions for a proof theory of modal logic proof analysis in modal logic firstorder modal logic completeness for kripke semantics other nonclassical logics does the deduction theorem fail for modal logic. Aug 06, 2012 a new introduction to modal logic is an entirely new work, completely rewritten by the authors. Some valid wff of pc basic modal notions the language of propositional modal logic 16 validity in propositional modal logic 17 exercises 1 21 notes 22 2 the systems k, t and d 23 systems of modal logic 23 the system k 24 proofs of theorems 26 l and m 33 validity and soundness 36 the system t 41 a definition. Preface these notes were composed while teaching a class at stanford and studying the work of brian chellas modal logic.
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. As an excellent background on modal logic, these notes are also partly based on a manuscript by schmitt sch03 and the book by hughes and cresswell hc96. The chellas text in uenced me the most, though the order of presentation is inspired more. References problems of proof theory in modal logic sara negri university of helsinki workshop on recent trends in proof theory. This book is an introduction to logic for students of contemporary philosophy. The new hughes and cresswell would clearly be the text of choice for introductory courses in modal logic. Consequently formulae are given by the grammar a p j. Csli, 1987, george hughes and max cresswell an introduction to modal logic, london. A modala word that expresses a modalityqualifies a statement. In this tutorial, we give examples of the axioms, consider some rules of inference and in particular, the derived rule of necessitation, and then draw out some consequences.
Ulf friedrichsdorf and peter schroederheister the title of this book might suggest that it is primarily a continuation of the authors wellknown introduction to modal logic 1968. Lewis, who constructed five propositional systems of modal logic, given in the literature the notations s1s5 their formulations are given below. They have incorporated all the new developments that have taken place since 1968 in both modal. Basic concepts in modal logic1 stanford university. For example, the statement john is happy might be qualified by saying that john is usually happy, in which. Researchers in areas ranging from economics to computational linguistics have since realised its worth.
Purchase handbook of modal logic, volume 3 1st edition. Lecture notes on soundness and correspondence 15816. Hughes g e and cresswell m j 1968 an introduction to modal. Cresswell, a companion to modal logic, methuen, 1984. A nice introduction to modal logic though somewhat outdated.
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. This book was later replaced by a new introduction to modal logic 1996. Rod girle, modal logics and philosophy, 2nd edition, 2009. An introduction to modal logic download ebook pdf, epub. A new introduction to modal logic george edward hughes. A new introduction to modal logic by ge hughes and mj cresswell.
1495 202 963 723 337 529 1556 926 1308 1190 1162 555 1008 327 1345 1432 665 1158 1522 53 1134 1338 548 595 1392 182 576 215 55 1379 783 1482 758 426 108 1005 118