- Proof, Computation and Agency: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Rohit Parikh (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.details
|
|
Equivalence and quantifier rules for logic with imperfect information.Xavier Caicedo, Francien Dechesne & Theo Janssen - 2008 - Logic Journal of the IGPL 17 (1):91-129.details
|
|
Open Problems in Logic and Games.Johan van Benthem - unknowndetails
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(2 other versions)Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.details
|
|
(2 other versions)Modelling simultaneous games in dynamic logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.details
|
|
Transition semantics: the dynamics of dependence logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.details
|
|
Extensive games as process models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.details
|
|
Instantial neighbourhood logic.Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist & Junhua Yu - 2017 - Review of Symbolic Logic 10 (1):116-144.details
|
|
Logic games: Not just tools, but models of interaction.Johan van Benthem - unknowndetails
|
|