A Decision Procedure for a Temporal Belief Logic

14 years 3 months ago

This paper presents a temporal belief logic called

Michael Wooldridge, Michael Fisher

Automated Reasoning | Discrete Temporal Logic | ICTL 1994 | Modal Belief Connectives | Temporal Belief Logic |

claim paper

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	ICTL
Authors	Michael Wooldridge, Michael Fisher

Comments (0)