Additional modal operators have different meanings. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. 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. Basic concepts in this chapter we recollect some basic facts concerning modal logic, concentrating on completeness theory. 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. 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. Chagrov and zakharyaschev, 1997 that every satisfiable purely.
Then, in section 3, we lay the foundation for the most important syntactical notion of modal. Zakharyaschev, modal logic, oxford logic guides vol. A specialist can use the book as a source of references. Then kt is the smallest normal modal logic is the smallest extension of k that contains the re exivity axiom exercise. 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. Chagrov and zakharyaschev, 1997 that every satisfiable purely modal formula can be satisfied in a finite intransitive. Numerous and frequentlyupdated resource results are available from this search. Query inseparability for description logic knowledge bases distinguished paper award, 22nd international joint conference on artificial intelligence ijcai, barcelona, 2011.
Achievements, tendencies, problems the paper analyses the development of modal logic in the last 2530 years. Nick bezhanishvili department of philosophy utrecht. Birkbeck, university of london malet street london wc1e 7hx uk tel. The dutch approach we are studying in this course is more popular with computer science and is more. For a novice this book is a mathematicallyoriented introduction to modal logic, the discipline within mathematical logic studying mathematical. Isbn 0198537794 this algebra related article is a stub. Modal logic, alexander chagrov and michael zakharyaschev. Neighborhood semantics for modal logic an introduction. Algebraic semantics for a modal logic close to s1 journal. Modal logic by alexander chagrov, michael zakharyaschev jstor. Modal logic, alexander chagrov and michael zakharyaschev, oxford logic guides, vol.
A modala word that expresses a modalityqualifies a statement. I have not attempted to survey the work of the present younger generationof modal logicians see chagrov and zakharyaschev 34, kracht 141, and marx and venema 171, for example. We start in section 2 with thomasons explication i of the semantical part i of the research programme above. Modal logic by chagrov, zakharyaschev and a great selection of related books, art and collectibles available now at. However, the student who is more interested in the theory of modal logic will.
Algebraic tools for modal logic mai gehrke yde venema esslli01 august 17, 2001 helsinki, finland. 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. Modal logic, alexander chagrov and michael zakharyaschev modal logic, alexander chagrov and michael zakharyaschev goranko, valentin 20040929 00. Alexander chagrov michael zakharyaschev mathematical aspects of modal logics. Search for library items search for lists search for contacts search for a library. Coalgebraic semantics for positive modal logic sciencedirect. Modal decision problems 429 roughly, our plan is as follows. The polytheistic approach to modal logics alethic modal logic.
Our main result establishes that modal logics arising from metric spaces form. On the degree of incompleteness in modal logic and the covering relations in the lattice of modal logics. Undecidability of the unification and admissibility problems for. Michael zakharyaschev birkbeck, university of london. Products of transitive modal logics gabelaia, david, kurucz, agi, wolter, frank, and zakharyaschev, michael, journal of symbolic logic, 2005. Chapter 1 introduces the classical propositional logic cl, its syntax and semantics, semantic tableau system, a hilbertstyle calculus, and presents. Oxford, clarendon press, new york, oxford university press, 1997. 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. Journal of logic, language and information 8, 255258 1999. Zakharyaschev chagrov, michael zakharyaschev, zakharyaschev chagrov. Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a.
Modern modal logic originated as a branch of philosophical logic in which the concepts of. 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. Intuitionistic and modal logic homepages of uvafnwi staff. An introduction to modal logic 2009 formosan summer school on logic, language, and computation. 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. The main goal of the corse is to understand the basic techniques, results and applications of neighborhood semantics for modal logic and to understand the exact relationship with the standard relational semantics. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. 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. Sep 29, 2004 modal logic, alexander chagrov and michael zakharyaschev goranko, valentin 20040929 00. Technical report 7807, department of mathematics, university of amsterdam, 1978.
Reliable information about the coronavirus covid19 is available from the world health organization current situation, international travel. I have not attempted to survey the work of the present younger generation of modal logicians see chagrov and zakharyaschev, 1997, kracht, 1999, and marx and venema, 1997, for example. Realizability logic and medvedevs logic 52 exercises \ 54 notes 56 3 modal logics 61 3. It is the weakest modal logic containing s1 such that strict equivalence is axiomatized by propositional identity. Look up this entry topic at the internet philosophy ontology project. Expositions of modern modal logic can be found in chagrov and zakharyaschev, 1997, blackburn et al. Modal logic alexander chagrov, professor of mathematics. Alexander chagrov and michael zakharyaschev, modal logic, vol. Purchase handbook of modal logic, volume 3 1st edition. On the independent axiomatizability of modal and intermediate. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. In this paper, as a natural followup, we study the modal logic of an arbitrary metric space. Chapter 1 introduces the classical propositional logic cl, its syntax and semantics, semantic tableau system, a hilbertstyle calculus, and presents proofs of its.
Furthermore, for a survey on modern developments i refer to blackburn et al. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. For a novice this book is a mathematicallyoriented introduction to modal logi. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to. 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. Concluding his historical overview, krister segerberg wrote. Hybrid formulas and elementarily generated modal logics hodkinson, ian, notre dame journal of formal logic, 2006.
This paper gives a solution to the old independent axiomatizability problem by presenting normal modal logics above k4 and grz and an intermediate logic without independent axiomatizations. Modal logic alexander chagrov, michael zakharyaschev download. I shall restrict my exposition to propositional logics, speci. Modal logic and intuitionistic logic modal logicis an expansion of classical logic.
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. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. 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. Modal logic alexander chagrov, michael zakharyaschev. Apart from the original proof by blok 1978, one can consult numerous more recent references, in particular chagrov and zakharyaschev 1997, chagrova. References 1 alexander chagrov and michael zakharyaschev. 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. This is another standard reference in the more mathematical modal logic community. Alexander kurzspecifying coalgebras with modal logic b. I have not attempted to survey the work of the present younger generation of modal logicians see chagrov and zakharyaschev, 1997, kracht, 1999, and marx and. Essentialism in modal logic ruth barcan marcus nous, vol. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s.
252 1503 1449 865 1077 760 852 1546 479 1415 1010 712 1080 200 305 231 391 708 513 1501 1072 666 1472 463 234 793 1546 1210 793 193 1267 892 1114 623 997 272 401 511 683 1330 1108 505 296 957