- Relation Algebras by Games.I. Hodkinson & Robin Hirsch - 2004 - Studia Logica 77 (1):139-141.details
|
|
Logic games are complete for game logics.Johan van Benthem - 2003 - Studia Logica 75 (2):183-203.details
|
|
Book Reviews. [REVIEW]Johan van Benthem - 2001 - Studia Logica 67 (1):111-150.details
|
|
Extensive games as process models.Johan van Benthem - 2002 - Journal of Logic, Language and Information 11 (3):289-313.details
|
|
Conditional probability meets update logic.Johan van Benthem - 2003 - Journal of Logic, Language and Information 12 (4):409-421.details
|
|
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
The Stag Hunt and the Evolution of Social Structure. [REVIEW]Robert van Rooij - 2007 - Studia Logica 85 (1):133-138.details
|
|
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.details
|
|
A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.details
|
|
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.details
|
|
A constructive game semantics for the language of linear logic.Giorgi Japaridze - 1997 - Annals of Pure and Applied Logic 85 (2):87-156.details
|
|
[Introduction].Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):865.details
|
|
[Introduction].Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):1.details
|
|
Active agents.Vincent F. Hendricks - 2003 - Journal of Logic, Language and Information 12 (4):469-495.details
|
|
The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.details
|
|
The Logic of Rational Play in Games of Perfect Information.Giacomo Bonanno - 1991 - Economics and Philosophy 7 (1):37-65.details
|
|
Shared intention.Michael E. Bratman - 1993 - Ethics 104 (1):97-113.details
|
|
Memory of Past Beliefs and Actions.Giacomo Bonanno - 2003 - Studia Logica 75 (1):7-30.details
|
|
The Stag Hunt and the Evolution of Social Structure.Brian Skyrms - 2003 - Cambridge University Press.details
|
|
Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
Belief revision.Hans Rott - 2008 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 514--534.details
|
|
Extensive and strategic forms: Games and models for games.Robert Stalnaker - 1999 - Research in Economics 53 (3):293 - 319.details
|
|
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknowndetails
|
|
Rational Dynamics and Epistemic Logic in Games.Johan van Benthem - unknowndetails
|
|
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknowndetails
|
|
Ordinal Conditional Functions. A Dynamic Theory of Epistemic States.Wolfgang Spohn - 1988 - In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer Academic Publishers.details
|
|
Relation Algebras by Games.Robin Hirsch & Ian Hodkinson - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.details
|
|
Finite Model Theory.Heinz-Dieter Ebbinghaus & Torg Flum - 1997 - Studia Logica 58 (2):332-335.details
|
|
The Logic of Reliable Inquiry.Kevin Kelly - 1998 - British Journal for the Philosophy of Science 49 (2):351-354.details
|
|
Logical construction games.Johan van Benthem - 2006 - Acta Philosophica Fennica 78:123.details
|
|