el-mehdi-ainasse documents

Interactions Between Knowledge and Time in First-Order Logic for Multi-Agent Systems - Completeness Results
Documents Interactions Between Knowledge and Time in First-Order Logic for Multi-Agent Systems - Completeness Results