- Academic publisher
- Alexander von Humboldt Foundation
- Amir Pnueli
- Artur d'Avila Garcez
- Ashkelon Academic College
- Augustus De Morgan
- Azriel Lévy
- Bar-Ilan University
- Computation
- Computer Science
- Computer science
- Copyright assignment
- Doctoral advisor
- Dov M. Gabbay
- Emeritus
- Expert systems
- Festschrift
- Formal verification
- Franz Guenthner
- Gabbay's separation theorem
- Hebrew University
- Hebrew University of Jerusalem
- ISBN (identifier)
- Imperial College London
- John Alan Robinson
- John Woods (logician)
- King's College London
- Language
- Logic
- Mathematics
- Mathematics Genealogy Project
- Michael O. Rabin
- Non-monotonic logic
- Non-monotonic reasoning
- Philosophy
- Professor
- Royal Society of Canada
- Ruth Kempson
- Saharon Shelah
- Samson Abramsky
- Stanford University
- Temporal logic
- Thesis
- Tom Maibaum
- University of Luxembourg
- University of Manchester
- Université Paul Sabatier
- Wayback Machine