Summer Schools in Logic and Learning, Canberra 2009

Introduction to Modal Logic

author: Rajeev P. Goré, Australian National University
published: April 1, 2009, recorded: January 2009, views: 6165

Slides

Slides
0:00	Introduction to Modal and Temporal Logic
1:44	History: Logic of Necessity and Possibility
6:00	Preliminaries
10:50	Logic = Syntax and (Semantics or Calculus)
16:19	Syntax of Modal Logic
22:19	Kripke Semantics for Logical Consequence (1)
23:34	Kripke Semantics for Logical Consequence (2)
26:17	- Syntax of Modal Logic - Part 2
33:21	Kripke Semantics for Logical Consequence (3)
34:45	- Kripke Semantics for Logical Consequence (2) - Part 2
35:06	- Kripke Semantics for Logical Consequence (3) - Part 2
35:55	Kripke Semantics for Logical Consequence (4)
44:04	Semantics: Examples
44:48	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.

Lecture popularity: You need to login to cast your vote.

Watch videos: (click on thumbnail to launch)

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.

Link this page

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

Reviews and comments:

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

Write your own review or comment:

Comment
Name
Email address
URL

make sure you have javascript enabled or clear this field:

Introduction to Modal Logic

Slides

Related content

Report a problem or upload files

Watch videos: (click on thumbnail to launch)

Description

See Also:

Link this page

Reviews and comments:

Write your own review or comment:

ENERGY CRISIS

BLOG ESSAY

LANGUAGE TECHNOLOGIES

INFO