UNSW Handbook Course - Introduction to Modal Logic

Introduction to Modal Logic - COMP4412


	Faculty: Faculty of Engineering
	School: School of Computer Science and Engineering
	Course Outline: www.cse.unsw.edu.au/~cs4412
	Campus: Kensington Campus
	Career: Undergraduate
	Units of Credit: 6
	EFTSL: 0.12500 (more info)
	Indicative Contact Hours per Week: 4
	Enrolment Requirements:
	Prerequisite: COMP2411 or COMP3121 or permission from the lecturer in charge.
	Fee Band: 2 (more info)
	Further Information: See Class Timetable

Description

This course aims to introduce fourth year and beginning graduate students to modal logic. Modal logic is used widely in computer science to model a variety of systems including databases, communication protocols, software, multi-agency and knowledge systems. This course will address the basic axioms, techniques, model theory of modal logic and some representative applications. This course will be assessed on the basis of student presentations and assignments.

Syllabus: Standard modal axioms such as K, T, 4 and 5. Kripke's possible world semantics. Soundness and completeness. The canonical model theorem. Logics of belief and knowledge. Logics of time and computation. If time permits, filtrations and the finite model property.

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.