Agli inizi della sua carriera introdusse una semantica per la logica modale simile al frame semantico sviluppato da Kripke. Inoltre sviluppò indipendentemente da Everth Wilem Beth la cosiddetta tavola semantica. Successivamente lavorò principalmente su giochi semantici e sulla logica indipendence-friendly.
1973. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic, Oxford : Clarendon Press 1973 ISBN 978-0198243649. Trad. it. Logica, giochi linguistici e informazione : temi kantiani nella filosofia della logica, a cura di Marco Mondadori e Paolo Parlavecchia, Milano, Il saggiatore, 1975.
1975. The intentions of intentionality and other new models for modalitiesISBN 978-90-277-0634-8
1976. The semantics of questions and the questions of semantics: case studies in the interrelations of logic, semantics, and syntaxISBN 978-95-1950-535-0
1989. The Logic of Epistemology and the Epistemology of LogicISBN 0-7923-0040-8
1996. Ludwig Wittgenstein: Half-Truths and One-and-a-Half-Truths (Selected Papers Vol. 1) ISBN 0-7923-4091-4
1996. Lingua Universalis vs Calculus Ratiocinator (Selected Papers Vol. 2) ISBN 0-7923-4246-1
Daniel Kolak and John Symons, (eds.), 2004. Quantifiers, Questions and Quantum Physics: Essays on the Philosophy of Jaakko Hintikka, Springer ISBN 1-4020-3210-2