A tableau-based proof method for temporal logics of knowledge and belief

M. Wooldridge, C. Dixon, M. Fisher

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'A tableau-based proof method for temporal logics of knowledge and belief'. Together they form a unique fingerprint.

Computer Science

Mathematics