Michael Fisher

Affiliation:  Metropolitan Uni of Manchester, United Kingdom.
To reach:     [homepage], [email].

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. (With and Michael Wooldridge).
To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [compilation], [tableau], [knowledge]. Code: [Fisher96A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.