DMCA

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge (2000)

Cached

Download Links

by Clare Dixon , Michael Fisher
Venue:Proceedings of TIME-00 the Seventh International Workshop on Temporal Representation and Reasoning, Cape Breton, Nova
Citations:10 - 7 self