## Introduction to Modal Logic

author: Rajeev P. Goré, Australian National University
published: April 1, 2009,   recorded: January 2009,   views: 6165
Categories
You might be experiencing some problems with Your Video player.

# Slides

0:00 Slides Introduction to Modal and Temporal Logic History: Logic of Necessity and Possibility Preliminaries Logic = Syntax and (Semantics or Calculus) Syntax of Modal Logic Kripke Semantics for Logical Consequence (1) Kripke Semantics for Logical Consequence (2) - Syntax of Modal Logic - Part 2 Kripke Semantics for Logical Consequence (3) - Kripke Semantics for Logical Consequence (2) - Part 2 - Kripke Semantics for Logical Consequence (3) - Part 2 Kripke Semantics for Logical Consequence (4) Semantics: Examples Classical (Two-Valued) Nature of Kripke Semantics

# Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.

Part 1 51:32
!NOW PLAYING

Part 2 58:43

Part 3 1:01:32

Part 4 58:57

Part 5 54:28

Part 6 41:36

# Description

We cover the syntax, Kripke semantics, correspondence theory and tableaux-style proof theory of propositional modal and temporal logics. These logics have important applications in a diverse range of fields incuding Artificial Intelligence, Theoretical Computer Science and Hybrid Systems.

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

1 giuseppe motta, July 27, 2010 at 11:12 a.m.:

can you please show also lesson "5" of Rajeev Goré cours about modal logic?

Why is it not there?

That makes very diffcoult to follow part 6 too...

Thank you,

Giuseppe Motta

2 Balaji, October 17, 2011 at 1:01 p.m.:

Just amazing. One of the best introductions to Modal Logic. I will all his class lectures were recorded and published online.

- Balaji