Today. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07
|
|
- Beverly Caldwell
- 5 years ago
- Views:
Transcription
1 Today Introduction Motivation- Why Modal logic? Modal logic- Syntax riel Jarovsky and Eyal ltshuler 8/11/07, 15/11/07 Modal logic- Semantics (Possible Worlds Semantics): Theory Examples Today (cont d) Valuations & Tautologies Logics & Normal Logics. xiomatic systems & possible worlds semantics. Most common modal logics: Temporal Logic Dynamic Logic Epistemic Logic Next week Multi-Modal Logic First Order Modal Logic pplications of Modal Logic: rtificial Intelligence Program Verification History Summary Introduction Modal Logics are logics of qualified truth. (From the dictionary) Modal- of form, of manner, pertaining to mood, pertaining to mode Necessary, Obligatory, true after an action, known, believed, provable, from now on, since, until, and many more Motivation - Why Modal Logic? 1. John knows it s raining. 2. John knows that if it s raining, he should take an umbrella. 3. John knows he should take an umbrella. ssuming that John can apply MP, he can conclude the third sentence from the first and the second sentences. However, how would you deduce that with classical logic?
2 Motivation - Why Modal Logic? Classical logic is not enough here! p John knows it s raining. q John knows that if it s raining, he should take an umbrella. r John knows he should take an umbrella. p,q r? NO!!!! CPL p,q / CPL r Motivation Here is an example, in which modal logic is useful- the wise children with muddy forehead story This is Martha- These are her children, and B- Motivation Martha puts a spot of mud on the forehead of each child. Each child can see the forehead of the other- knows that B s forehead, and conversely. Neither child knows whether their own forehead. Motivation Then Martha announces, t least one of you has a muddy forehead. Then she asks, does either of you know whether your own forehead? Neither child answers. She ask the same question again, and this time both children answer- I know mine is. How did it happen? Motivation Possible Worlds In classical logic we deal with one model at a time, and we think of this model as telling us how the world is. In Modal Logics there are many possible worlds! Motivation Possible Worlds For example, Yossi may not know whether it is raining in Tel-viv or not, but Yossi may very well know it is raining in Liverpool. Suppose we have two classical models: In one it s raining in Tel-viv. In the other, it is not. In both it is raining in Liverpool. s far as Yossi is concerned, either model could be true state of the world, so both are possible worlds for Yossi.
3 Initial Representation of Knowledge ctual World s forehead B s forehead Ra Rb Martha said or s forehead B s forehead Ra Rb Each one see the forehead of the other s forehead B s forehead Ra Rb Each one knows the other doesn t know knows B knows Q.E.D. s forehead B s forehead Ra Rb Modal Logic - Syntax We will first focus on Propositional Modal Logic, thus until indicated otherwise we refer to Propositional Modal Logic as Modal Logic. logic is composed of: Formal language Consequence relation (will be defined differently) We will focus on the definition of the consequence relation through semantics, but we will also refer to it through syntax. Syntax Language The formal language: non-empty set of propositions (as in classical logic): P= { p1, p2, p3, } Operators: Parentheses. Some define the as: = def {,,,,,,, } The Modal Operators
4 Syntax Formulas Formulas are the only syntactic category of Propositional Modal Logics, as in CPL. Every proposition p is a formula. If, B are formulas, then the following are also formulas:, B, B, B, B If is a formula then the following are also formulas: Syntax Modal Operators Readings of Readings of It is necessarily true that. It is possibly true that. It will always be true that. It will sometimes be true that. It ought to be true that. It can be that. It is known that. It is believed that. fter every terminating execution of the program, is true. The opposite of is not known. The opposite of is not believed. There is an execution of the program that terminates with true. Modal Logic - Semantics Is a formula P correct? In one world it is, in another world it isn t. In modal logic, correctness of a formula is context-dependent. For example- n will be happy tomorrow. Everyone I know likes basketball. From now until the program terminates, x>1 holds. Modal Logics - Semantics Possible worlds semantics (Kripke, 1959) The different possible worlds represent the states of a given problem. Semantics - Frame frame is a pair (W,R) where W is a nonempty set and R is a binary relation on W. W is the set of all possible worlds, or states. R determines which worlds are accessible from any given world in W. We say that b is accessible from a iff (a,b) R. R is known as the accessibility relation. Possible Worlds- Examples (1) n is a boy. n will be happy tomorrow. Suppose n is happy on Tuesday nd Friday (and of course that he s a boy in every day ) Each day can be a world. world is accessible only from its previous: Sunday Monday Tuesday Wednesday Thursday Friday Saturday
5 Possible Worlds- Examples (1) Possible Worlds- Examples (2) Let us write it formally using possible worlds semantics W={ Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, next Sunday, } R={ (Sunday, Monday), (Monday, Tuesday), (Tuesday, Wednesday), (Wednesday, Thursday), (Thursday, Friday), (Friday, Saturday),(Saturday, next Sunday), } There s a terminating execution of the program in which x=12. fter every execution of the program, x>3. Consider the following pseudo-code: Choose x randomly from {10,11} Choose y randomly from {0,1} If y=0 x=x+1; Possible Worlds- Examples (2) w3 Semantics Model W1 W2 Before if, x=10 Before if, x=11 after if, x=10 after if, x=11 after if, x=12 Intuitively: There s a terminating execution of the program in which x=12- TRUE IF WE RE IN W 2 fter every execution of the program, x>3- TRUE IF WE RE IN W 1 ND W 2. w4 w5 Model is a triple M=(W,R,V) while (W,R) is a frame and V is a valuation. valuation is a function V : P W { T, F}. Informally, V(p,w)=T is to be thought as p is true at world w. Semantics Semantical Relation The relation between a pair (M,w) where M is a model and w is a world, and a formula, is defined recursively as follows: M, w p, p P V( p, w) = T M, w B M, w and M, w B Similar for the other classical logic connectors. M, w x W if wrx then M, x M, w x W st.. M, x Modal Logic Example Suppose M=(W,R,V) where W={u,v,w}. Let V(p 2,u) = V(p 1,v) = V(p 1,w) = true lso, let R={(u,v),(u,w),(v,v),(v,w)}. The following graph captures the situation: w p 1 u p 2 v p 1
6 Modal Logic Example w p 1 u p 2 Note that M, u p. So,. 1, M, v p M, u p 1 1 lso, M, w p2, M, v p2. Thus, M, v p2. Furthermore, M, w p2. nd so, M, u p2 Therefore, we can say that M, u p p p v p 1 Semantics True & Valid formula P is true in a model M=(W,R,V) (written M P) if M, w P for all w W. formula p is valid in a frame F=(W,R) (written F P ) if M P for all M based in F. schema (set of formulas) is true in a model (or valid in a frame) if all instances of the schema have that property. If Γ is a set of formulas we will write M Γ (or F Γ ). Semantics - Example Prove that ( P P) and ( P Q) ( P Q) are true in all models and, hence are valid in all frames ( P P) : P P is a classical tautology, and since at each world the truth value is calculated according to the classical truth tables, it is true at all worlds in all models. Therefore for any w, M, M, x P P for all x such that wrx. Thus, M, w ( P P) for all w, M. nd it results in F ( P P) (F is any frame). Semantics - Example ( P Q) ( P Q) : Suppose M, w ( P Q) and M, w P. Let x be any world such that wrx. Then M, x P and M, x P Q, so M, x Q(by the definition of the ). So M, x Q. nd finally, M, w ( P Q) ( P Q) for all w, M. Thus, F ( P Q) ( P Q) for all frame F. Semantics - Example Prove that ( P P) and P P are not valid statements. ( P P) : Let W={w} and R=ø. Then for any valuation V, M, w / ( P P), because there is no x such that wrx. P P : Let W={w,x} and R={(w,x)}. Let V(x,P)=T, but V(w,P)=F. Then M, w P, since M, x P and x is the only world such that wrx. However, M, w / P, so M, w / P P. Logics Given a language L(P) (P is a set of atoms) a logic Λ is defined to be any subset of formulas generated from P that satisfies: Λ includes all tautologies; Closure under Modus Ponens. Closure under uniform substitution.
7 Logics The set L(P) of formulas generated from the set P of propositions, and the set of all tautologies in L(P) are two examples of logics. The elements of a logic are called its theorems. We write to mean that is a Λ theorem of the logic Λ, thus. Λ Λ Normal Logic logic Λ is said to be normal if it contains the formula scheme: K : ( B) ( B) and if it is provided with the modal inference necessitation rule: Λ Λ The (Smallest) Normal Logic K If {Λ i i {1,, n}, n } is a collection of normal logics, then {Λ i i {1,, n}, n } is a normal logic. In particular, the logic denoted K and defined by K = {Λ i Λ i is a normal logic} is the smallest normal logic. Theorem: formula is a theorem of the logic K iff is valid (i.e. true in all frames). Now we come back to syntax... n axiomatic system for a normal logic Λ is made up of the following three components: n axiomatic system of CPL (as HPC) The axiom scheme denoted: K : ( B) ( B) The modal inference rule of necessitation: Λ Λ xiomatic Systems We represent the smallest normal logic Λ containing the formula schemata Σ 1,,Σ n by the notation: Λ= K Σ1 Σ n This logic is defined as follows: Λ = {Λ Λ is normal and Σ Σ Λ } i i 1 n i Syntax & Semantics - Example Let F=(W,R) be a frame. Prove that 1. R is reflexive (i.e. wwrw. ) iff P P is valid in F. 2. R is transitive (i.e. x, y, z.( xry yrz) xrz) iff P P is valid in F.
8 Syntax & Semantics - Example 1. R is reflexive (i.e. wwrw. ) iff P P is valid in F. Proof: R is reflexive, wrw. For some V, M, w P. So, M, w P. F P P. Suppose not wrw. Let V(x,)=T for all and only x s.t. wrx. M, w, but M, w / So, M, w /, hence M /. Contradiction! Syntax & Semantics - Example 2. R is transitive (i.e. x, yz,.( xry yrz) xrz) iff P Pis valid in F. Proof: M, w P for some V. We need to show M, w P M, x Pif wrx M, y P(if wrx and xry) wry (R is transitive), M, y P Syntax & Semantics - Example 2b. If P P is valid in F then R is transitive (i.e. x, yz,.( xry yrz) xrz) Proof: F P P Suppose wrx and xry, but not wry. Let V(z,)=T iff wrz. M, w, but M, y / xry M, x / So, M, w /. contradiction! Syntax & Semantics Let F=(W,R) be a frame. We saw that 1. R is reflexive (i.e. wwrw. ) iff P P is valid in F. 2. R is transitive (i.e. x, y, z.( xry yrz) xrz) iff P P is valid in F. If we also add: 3. R is symmetric (i.e. wx,.( wrx xrw) ) iff P P is valid in F. It results that a formula is a theorem of a normal logic with these schematas iff is valid in every frame where R is an equivalence relation. Syntax & Semantics Classical names for some schemata and the corresponding binary relations are: D: - Serial s tsrt. B: - Symmetric s, t.( srt trs) L: (( ) B) (( B B) ) - Weakly Connected s, tu,.( srt sru) ( tru t= u urt) W: ( ) Syntax & Semantics Classical names for some schemata and the corresponding binary relations are: T: - Reflexive ssrs. 4: - Transitive s, t, u.( srt tru sru) 5: - Euclidean s, t, u.( srt sru tru)
9 Syntax & Semantics Some common used logics are: KT: R is reflexive. S4: KT4: R is reflexive and transitive S5: KT45: R is reflexive, transitive and euclidean. Theorem: formula is a theorem of the logic KT iff is true in every frame where R is reflexive. The same as for KT4 & KT45 (with their respective relations) T: - Reflexive ssrs. 4: - Transitive s, t, u.( srt tru sru) 5: - Euclidean s, t, u.( srt sru tru) Syntax & Semantics It has been proved that there are some properties of binary relation R that do not correspond to the validity of any modal schema. For example: Irreflexivity: ntisymmetry: symmetry: s. ( srs) s t.( srt trs s = t) s t.( srt ( trs)) Most common modal logics Most common modal logics lethic Logic The modalities are possibility and necessity. is necessarily true. - is possibly true. The relation R has to be reflexive. Different notions of necessity. Temporal Logic sentence may have a different truth values at different times. The members of W are moments of time. - will be true at all future times. - will be true at some future time. In a dual way, we can talk about the past. Most common modal logics Most common modal logics Dynamic Logic Based on the idea of associating a modal operator with each command of a programming language. - every terminating execution of the program brings about true. - there is some execution of the program that terminates with true. Non-deterministic programs. Logics of Knowledge and Belief (Epistemics Logics) Formalization of knowledge and belief (the muddy forehead story) - is believed/known - The inverse of is not believed/known.
10
09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor
Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence
More informationModal Logics. Most applications of modal logic require a refined version of basic modal logic.
Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure
More informationModal Logic. UIT2206: The Importance of Being Formal. Martin Henz. March 19, 2014
Modal Logic UIT2206: The Importance of Being Formal Martin Henz March 19, 2014 1 Motivation The source of meaning of formulas in the previous chapters were models. Once a particular model is chosen, say
More informationModal logics: an introduction
Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and
More informationNotes on Modal Logic
Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy
More informationAn Introduction to Modal Logic V
An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013
More informationTowards A Multi-Agent Subset Space Logic
Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net
More informationNotes on Modal Logic
Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 25, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary
More informationThe Muddy Children:A logic for public announcement
The Muddy Children: Jesse Technical University of Eindhoven February 10, 2007 The Muddy Children: Outline 1 2 3 4 The Muddy Children: Quincy Prescott Baba: At least one of you is muddy. Quincy: I don t
More informationTo every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.
Modal Logic (2) There appeared to be a correspondence between the validity of Φ Φ and the property that the accessibility relation R is reflexive. The connection between them is that both relied on the
More informationModal and temporal logic
Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.
More informationPrinciples of Knowledge Representation and Reasoning
Principles of Knowledge Representation and Reasoning Modal Logics Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg May 2 & 6, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)
More informationCHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationFormal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University
Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Logical preliminaries Let L 0 be a language containing a complete set of Boolean connectives, including
More informationSystems of modal logic
499 Modal and Temporal Logic Systems of modal logic Marek Sergot Department of Computing Imperial College, London utumn 2008 Further reading: B.F. Chellas, Modal logic: an introduction. Cambridge University
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationCanonical models for normal logics (Completeness via canonicity)
499 Modal and Temporal Logic Canonical models for normal logics (Completeness via canonicity) Marek Sergot Department of Computing Imperial College, London Autumn 2008 Further reading: B.F. Chellas, Modal
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationLogics of Strong Noncontingency arxiv: v1 [cs.lo] 15 May 2015
Logics of Strong Noncontingency arxiv:1505.03950v1 [cs.lo] 15 May 2015 Jie Fan Abstract Inspired by Hintikka s treatment of question embedding verbs in [8] and the variations of noncontingency operator,
More informationMeaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have
INTENSIONAL AND MODAL LOGIC Meaning and Reference Why do we consider extensions to the standard logical language(s)? Requirements of knowledge representation / domain modelling Intensional expressions:
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationModal Logic XX. Yanjing Wang
Modal Logic XX Yanjing Wang Department of Philosophy, Peking University May 6th, 2016 Advanced Modal Logic (2016 Spring) 1 Completeness A traditional view of Logic A logic Λ is a collection of formulas
More informationC. Modal Propositional Logic (MPL)
C. Modal Propositional Logic (MPL) Let s return to a bivalent setting. In this section, we ll take it for granted that PL gets the semantics and logic of and Ñ correct, and consider an extension of PL.
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationA Journey through the Possible Worlds of Modal Logic Lecture 1: Introduction to modal logics
A Journey through the Possible Worlds of Modal Logic Lecture 1: Introduction to modal logics Valentin Goranko Department of Philosophy, Stockholm University ESSLLI 2016, Bolzano, August 22, 2016 Outline
More informationLogics for Belief as Maximally Plausible Possibility
Logics for Belief as Maximally Plausible Possibility Giacomo Bonanno Department of Economics, University of California, Davis, USA gfbonanno@ucdavis.edu Abstract We consider a basic logic with two primitive
More informationBETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR
Bulletin of the Section of Logic Volume 38:3/4 (2009), pp. 123 133 Kordula Świȩtorzecka BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR Abstract In the presented text we shall focus on some specific
More informationGraph Theory and Modal Logic
Osaka University of Economics and Law (OUEL) Aug. 5, 2013 BLAST 2013 at Chapman University Contents of this Talk Contents of this Talk 1. Graphs = Kripke frames. Contents of this Talk 1. Graphs = Kripke
More informationcis32-ai lecture # 18 mon-3-apr-2006
cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem
More informationHandout Lecture 1: Standard Deontic Logic
Handout Lecture 1: Standard Deontic Logic Xavier Parent and Leendert van der Torre University of Luxembourg October 18, 2016 1 Introduction The topic of this handout is so-called standard deontic logic,
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationJustification logic - a short introduction
Institute of Computer Science and Applied Mathematics University of Bern Bern, Switzerland January 2013 Modal Logic A Modal Logic A A B and Modal Logic A A B B and thus Modal Logic A A B B and thus A (A
More informationFirst Order Logic: Syntax and Semantics
CS1081 First Order Logic: Syntax and Semantics COMP30412 Sean Bechhofer sean.bechhofer@manchester.ac.uk Problems Propositional logic isn t very expressive As an example, consider p = Scotland won on Saturday
More informationMODAL LOGICS FOR LOCAL AND GLOBAL SIMILARITY RELATIONS
MODAL LOGICS FOR LOCAL AND GLOBAL SIMILARITY RELATIONS Ana Deneva and Dimiter Vakarelov Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Computer science,
More informationKB Agents and Propositional Logic
Plan Knowledge-Based Agents Logics Propositional Logic KB Agents and Propositional Logic Announcements Assignment2 mailed out last week. Questions? Knowledge-Based Agents So far, what we ve done is look
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationIntelligent Systems. Propositional Logic. Dieter Fensel and Dumitru Roman. Copyright 2008 STI INNSBRUCK
Intelligent Systems Propositional Logic Dieter Fensel and Dumitru Roman www.sti-innsbruck.at Copyright 2008 STI INNSBRUCK www.sti-innsbruck.at Where are we? # Title 1 Introduction 2 Propositional Logic
More informationLecture Notes on Classical Modal Logic
Lecture Notes on Classical Modal Logic 15-816: Modal Logic André Platzer Lecture 5 January 26, 2010 1 Introduction to This Lecture The goal of this lecture is to develop a starting point for classical
More informationPropositional Dynamic Logic
Propositional Dynamic Logic Contents 1 Introduction 1 2 Syntax and Semantics 2 2.1 Syntax................................. 2 2.2 Semantics............................... 2 3 Hilbert-style axiom system
More informationFiltrations and Basic Proof Theory Notes for Lecture 5
Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More informationAxiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence 171 (2007) 144 160 www.elsevier.com/locate/artint Axiomatic characterization of the AGM theory of belief revision in a temporal logic Giacomo Bonanno 1 Department of Economics,
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationEconomics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017
Economics 04 Summer/Fall 07 Lecture Monday July 7, 07 Section.. Methods of Proof We begin by looking at the notion of proof. What is a proof? Proof has a formal definition in mathematical logic, and a
More informationArtificial Intelligence. Propositional Logic. Copyright 2011 Dieter Fensel and Florian Fischer
Artificial Intelligence Propositional Logic Copyright 2011 Dieter Fensel and Florian Fischer 1 Where are we? # Title 1 Introduction 2 Propositional Logic 3 Predicate Logic 4 Reasoning 5 Search Methods
More informationGeneral methods in proof theory for modal logic - Lecture 1
General methods in proof theory for modal logic - Lecture 1 Björn Lellmann and Revantha Ramanayake TU Wien Tutorial co-located with TABLEAUX 2017, FroCoS 2017 and ITP 2017 September 24, 2017. Brasilia.
More informationBoxes and Diamonds. An Open Introduction to Modal Logic
Boxes and Diamonds An Open Introduction to Modal Logic Winter 2018 Boxes and Diamonds The Open Logic Project Instigator Richard Zach, University of Calgary Editorial Board Aldo Antonelli, University of
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More informationPropositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38
Propositional Logic Jason Filippou CMSC250 @ UMCP 05-31-2016 ason Filippou (CMSC250 @ UMCP) Propositional Logic 05-31-2016 1 / 38 Outline 1 Syntax 2 Semantics Truth Tables Simplifying expressions 3 Inference
More informationTutorial Exercises 1 (mjs)
499 Modal and Temporal Logic Autumn 2008 Tutorial Exercises 1 (mjs) 1. Suppose that Σ is closed under RM. SOLUTIONS Suppose first that Σ contains C. A derivation of K: 1. Σ (A (A B) ) B PL 2. Σ (A (A B)
More informationAn Introduction to Modal Logic. Ordinary logic studies the partition of sentences1 into two categories, true and false.
An Introduction to Modal Logic Ordinary logic studies the partition of sentences1 into two categories, true and false. Modal logic investigates a finer classification. A sentence can be either necessary
More informationCOMMON BELIEF WITH THE LOGIC OF INDIVIDUAL BELIEF
COMMON BELIEF WITH THE LOGIC OF INDIVIDUAL BELIEF Giacomo Bonanno and Klaus Nehring Department of Economics, University of California, Davis, CA 95616-8578 USA gfbonanno@ucdavis.edu March 1999 kdnehring@ucdavis.edu
More informationCHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS
CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationCS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration
Lecture 4 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square dministration Homework assignment 1 is out Due next week on Wednesday, September 17 Problems: LISP programming a PL
More informationWHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
THE REVIEW OF SYMBOLIC LOGIC Volume 7, Number 3, September 2014 WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY? PETER FRITZ University of Oxford Abstract. This paper is concerned with
More informationLogic: Propositional Logic (Part I)
Logic: Propositional Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.
More informationCS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics
CS206 Lecture 21 Modal Logic G. Sivakumar Computer Science Department IIT Bombay siva@iitb.ac.in http://www.cse.iitb.ac.in/ siva Page 1 of 17 Thu, Mar 13, 2003 Plan for Lecture 21 Modal Logic Possible
More informationDeontic Logic and Meta-Ethics
Deontic Logic and Meta-Ethics Deontic Logic as been a field in which quite apart from the questions of antinomies "paradoxes" have played a decisive roles, since the field has been invented. These paradoxes
More informationExamples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:
Logic: The Big Picture Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and
More informationModule 5 K and Equivalent Systems
Module 5 K and Equivalent Systems G. J. Mattey July 8, 2010 Contents 1 The Semantical System KI 2 1.1 Specification of KI....................................... 2 1.2 Semantical Properties and Relations
More informationMajority Logic. Introduction
Majority Logic Eric Pacuit and Samer Salame Department of Computer Science Graduate Center, City University of New York 365 5th Avenue, New York 10016 epacuit@cs.gc.cuny.edu, ssalame@gc.cuny.edu Abstract
More informationPHIL 50 - Introduction to Logic
Truth Validity Logical Consequence Equivalence V ψ ψ φ 1, φ 2,, φ k ψ φ ψ PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 2 Friday Class Overview of Key Notions
More informationIntroduction to Modal and Temporal Logic
Introduction to Modal and Temporal Logic c Rajeev Goré Automated Reasoning Group Computer Sciences Laboratory Australian National University http://arp.anu.edu.au/ rpg Rajeev.Gore@anu.edu.au 6 December
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More informationarxiv: v2 [cs.lo] 19 Sep 2017
Antonis Achilleos School of Computer Science, Reykjavik University antonios@ru.is arxiv:1605.01004v2 [cs.lo] 19 Sep 2017 Abstract We introduce the completeness problem for Modal Logic and examine its complexity.
More informationAnnouncements. CS243: Discrete Structures. Propositional Logic II. Review. Operator Precedence. Operator Precedence, cont. Operator Precedence Example
Announcements CS243: Discrete Structures Propositional Logic II Işıl Dillig First homework assignment out today! Due in one week, i.e., before lecture next Tuesday 09/11 Weilin s Tuesday office hours are
More informationSemantical study of intuitionistic modal logics
Semantical study of intuitionistic modal logics Department of Intelligence Science and Technology Graduate School of Informatics Kyoto University Kensuke KOJIMA January 16, 2012 Abstract We investigate
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the
More informationMathematics 114L Spring 2018 D.A. Martin. Mathematical Logic
Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)
More informationA simplified proof of arithmetical completeness theorem for provability logic GLP
A simplified proof of arithmetical completeness theorem for provability logic GLP L. Beklemishev Steklov Mathematical Institute Gubkina str. 8, 119991 Moscow, Russia e-mail: bekl@mi.ras.ru March 11, 2011
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationChapter 9. Modal Language, Syntax, and Semantics
Chapter 9 Modal Language, Syntax, and Semantics In chapter 6 we saw that PL is not expressive enough to represent valid arguments and semantic relationships that employ quantified expressions some and
More informationFrom Syllogism to Common Sense
From Syllogism to Common Sense Mehul Bhatt Oliver Kutz Thomas Schneider Department of Computer Science & Research Center on Spatial Cognition (SFB/TR 8) University of Bremen Normal Modal Logic K r i p
More informationDeductive Systems. Lecture - 3
Deductive Systems Lecture - 3 Axiomatic System Axiomatic System (AS) for PL AS is based on the set of only three axioms and one rule of deduction. It is minimal in structure but as powerful as the truth
More informationThe Logic of Proofs, Semantically
The Logic of Proofs, Semantically Melvin Fitting Dept. Mathematics and Computer Science Lehman College (CUNY), 250 Bedford Park Boulevard West Bronx, NY 10468-1589 e-mail: fitting@lehman.cuny.edu web page:
More informationExtensions of Analytic Pure Sequent Calculi with Modal Operators
Extensions of Analytic Pure Sequent Calculi with Modal Operators Yoni Zohar Tel Aviv University (joint work with Ori Lahav) GeTFun 4.0 Motivation C 1 [Avron, Konikowska, Zamansky 12] Positive rules of
More informationTruth-Functional Logic
Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence
More informationSeminar in Semantics: Gradation & Modality Winter 2014
1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationAn Invitation to Modal Logic: Lecture 1
An Invitation to Modal Logic: Lecture 1 Philosophy 150 Eric Pacuit Stanford University November 26, 2007 Eric Pacuit: Invitation to Modal Logic, Philosophy 150 1 Setting the Stage Much of this course has
More informationMadhavan Mukund Chennai Mathematical Institute
AN INTRODUCTION TO LOGIC Madhavan Mukund Chennai Mathematical Institute E-mail: madhavan@cmiacin Abstract ese are lecture notes for an introductory course on logic aimed at graduate students in Computer
More informationMODAL SATISIFIABILITY IN A CONSTRAINT LOGIC ENVIRONMENT LYNETTE STEVENSON. Submitted in fulfillment of the requirements for the degree of
MODAL SATISIFIABILITY IN A CONSTRAINT LOGIC ENVIRONMENT by LYNETTE STEVENSON Submitted in fulfillment of the requirements for the degree of MASTER OF SCIENCE in the subject COMPUTER SCIENCE at the UNIVERSITY
More informationAdding Modal Operators to the Action Language A
Adding Modal Operators to the Action Language A Aaron Hunter Simon Fraser University Burnaby, B.C. Canada V5A 1S6 amhunter@cs.sfu.ca Abstract The action language A is a simple high-level language for describing
More informationComputational Logic Lecture 3. Logical Entailment. Michael Genesereth Autumn Logical Reasoning
Computational Logic Lecture 3 Logical Entailment Michael Genesereth Autumn 2010 Logical Reasoning Logical Reasoning relates premises and conclusion does not say whether conclusion is true in general says
More informationWhat is DEL good for? Alexandru Baltag. Oxford University
Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of
More informationModel Theory of Modal Logic Lecture 1: A brief introduction to modal logic. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 1: A brief introduction to modal logic Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, 25 January, 2010
More informationFirst Order Logic: Syntax and Semantics
irst Order Logic: Syntax and Semantics COMP30412 Sean Bechhofer sean.bechhofer@manchester.ac.uk Logic Recap You should already know the basics of irst Order Logic (OL) It s a prerequisite of this course!
More informationPropositional Logic Arguments (5A) Young W. Lim 11/29/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationThe logic of subset spaces, topologic and the local difference modality K
The logic of subset spaces, topologic and the local difference modality K Isabel Bevort July 18, 2013 Bachelor Thesis in Mathematics Supervisor: dr. Alexandru Baltag Korteweg-De Vries Instituut voor Wiskunde
More informationPropositional Logic Arguments (5A) Young W. Lim 10/11/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationA SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2. Abstract
Bulletin of the Section of Logic Volume 33/1 (2004), pp. 11 21 Katsumi Sasaki 1 Shigeo Ohama A SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2 Abstract To discuss Rosser sentences, Guaspari and Solovay
More informationCapturing Lewis s Elusive Knowledge
Zhaoqing Xu Department of Philosophy, Peking University zhaoqingxu@gmail.com September 22, 2011 1 Introduction 2 Philosophical Background Dretske s Relevant Alternatives Theory Lewis s Elusive Knowledge
More informationarxiv: v4 [math.lo] 6 Apr 2018
Complexity of the interpretability logic IL arxiv:1710.05599v4 [math.lo] 6 Apr 2018 Luka Mikec luka.mikec@math.hr Fedor Pakhomov pakhfn@mi.ras.ru Monday 2 nd April, 2018 Abstract Mladen Vuković vukovic@math.hr
More informationDoxastic Logic. Michael Caie
Doxastic Logic Michael Caie There are at least three natural ways of interpreting the object of study of doxastic logic. On one construal, doxastic logic studies certain general features of the doxastic
More informationNatural Deduction. Formal Methods in Verification of Computer Systems Jeremy Johnson
Natural Deduction Formal Methods in Verification of Computer Systems Jeremy Johnson Outline 1. An example 1. Validity by truth table 2. Validity by proof 2. What s a proof 1. Proof checker 3. Rules of
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationLogic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More information