Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems

Open in new window