@inproceedings{6d42da1360464de48a55b364614cde41,
title = "A decision procedure for a temporal belief logic",
abstract = "This paper presents a temporal belief logic called LTB. In addition to the usual connectives of linear discrete temporal logic, LTB contains an indexed set of modal belief connectives, via which it is possible to represent the belief systems of resource-bounded reasoning agents. The applications of LTB in general, and its use for representing the dynamic properties of multi-agent AI systems in particular, are discussed in detail. A tableau-based decision procedure for LTB is then described, and some examples of its use are presented. The paper concludes with a discussion and future work proposals.",
author = "Michael Wooldridge and M. Fisher",
year = "1994",
month = jun,
day = "29",
doi = "10.1007/bfb0013996",
language = "English",
isbn = "9783540582410",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin",
pages = "317–331",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans J{\"u}rgen}",
booktitle = "Temporal Logic",
address = "Germany",
}