Naming worlds in modal and temporal logic
- D. M. Gabbay
- , G. Malod
- King's College London
- École normale supérieure de Lyon
Research output: Contribution to journal › Article › peer-review
13
Scopus
citations