A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| van Benthem, J.F.A.K., The Logic of Time (1980) |
| van Benthem, Johan, Possible World Semantics: A Research Program that Cannot Fail? |
| van Benthem, Johan, Questions about Quantifiers (1982) |
| van Benthem, Johan, A Linguistic Turn: New Directions in Logic (1983) |
| van Benthem, Johan, Tenses in Real Time (1983) |
| van Benthem, Johan, The Semantics of Variety in Categorical Grammar (1983) |
| van Benthem, Johan, Modal Foundations for Predicate Logic (1994) |
| van Benthem, Johan, Modal Foundations of Predicate Logic (1995) |
| van Benthem, Johan ; Bergstra, Jan, Logic of Transition Systems (1993) |
| van Benthem, Johan ; Dekker, Paul ; van Eijck, Jan ; Rijke, Maarten de ; Venema, Yde, Logic in Action (2001) |