H.J. Vromen (Huub) MSc

Huub Vromen has a training in mathematics, business economics, law, and philosophy. He is principally interested in philosophy of language and logic. He is currently working on formalizations of David Lewis' concept of common knowledge in higher-order logic. Furthermore, he contributes to the development of a commitment-based theory of speech acts and common ground.