Resolution for temporal logics of knowledge
Open Access
- 1 June 1998
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 8 (3) , 345-372
- https://doi.org/10.1093/logcom/8.3.345
Abstract
A resolution-based proof system for a temporal logic of knowledge is presented and shown to be correct. Such logics are useful for proving properties of distributed and multi-agent systems. Examples are given to illustrate the proof system. An extension of the basic system to the multi-modal case is given and illustrated using the ‘muddy children problem’.Keywords
This publication has 0 references indexed in Scilit: