Yde Venema
- Auteur
Boeken van Yde Venema
Patrick Blackburn
Maarten de van Amsterdam) Rijke
Maarten de Rijke
Yde van Amsterdam) Venema
Yde Venema
Modal Logic
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth.
Meer
Maarten Marx
Yde Venema
Multi-Dimensional Modal Logic
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence.
Meer
Erich Grädel
Phokion G. Kolaitis
Leonid Libkin
Maarten Marx
Joel Spencer
Moshe Y. Vardi
Yde Venema
Scott Weinstein
Finite Model Theory and Its Applications