Johan van Benthem.
Springer.
1986.
Hardback.
xi, 225 pages. Dust-wrapper very slightly sunned at top edges. Johan van Benthem is a University Professor emeritus of pure and applied logic at the University of Amsterdam, Henry Waldgrave Stuart professor of philosophy at Stanford University, and Changjiang national professor of humanities at Tsinghua University Beijing. He has worked in modal logic, temporal logic, logical semantics and syntax of natural language, as well as dynamic logics of information, computation, and agency. He was the founding director of the 'Institute for Logic, Language and Computation' (ILLC) at the University of Amsterdam, and the first Chair and First Honorary Member of the European Association for Language, Logic and Information (FoLLI). His published books include "The Logic of Time" (1983), "Modal Logic and Classical Logic" (1985), "Essays in Logical Semantics" (1986)