Kenneth A. Bowen

• Logic programming
• Prolog and expert systems
• Speaking Pascal
• Model theory for modal logic
• The relative consistency of some consequences of the existence of measurable cardinal numbers