Johan van Benthem · 14 obras en el catálogoObrasProof, Computation and AgencyLogic in GamesReadings in Formal EpistemologySSemantics and Contextual ExpressionsSemantics and Contextual ExpressionsLLogical Dynamics of Information and InteractionLogical Dynamics of Information and InteractionRReadings in Formal EpistemologyReadings in Formal EpistemologyAAge of Alternative LogicsAge of Alternative LogicsLLogic of TimeLogic of TimeEEssays in Logical SemanticsEssays in Logical SemanticsMModels of Strategic ReasoningModels of Strategic ReasoningGGeneralized Quantifiers in Natural LanguageGeneralized Quantifiers in Natural LanguageLLinguistic and Literary Studies in Eastern EuropeLinguistic and Literary Studies in Eastern EuropeLLogic, Information and AgencyLogic, Information and AgencyAA Manual of Intensional LogicA Manual of Intensional Logic