Technical Report TR-ARP-15-95

Automated Reasoning Project

Research School of Information Sciences and Engineering

and Centre for Information Science Research

Australian National University

November 13, 1995

Rajeev Gor?e

Abstract: This document is a complete draft of a chapter by

Rajeev Gor?e on Tableau Methods for Modal and Temporal

Logics" which is part of the Handbook of Tableau Methods",

edited by M. D'Agostino, D. Gabbay, R. Hahnle and J. Posegga,

to be published in 1996 by Kluwer, Dordrecht.

Any comments and corrections are highly welcome. Please email

me at [email protected]

The latest version of this document can be obtained via my

WWW home page: http://arp.anu.edu.au/