• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2009
• 
  Thomas Ågotnes, Johan van Benthem, Eric Pacuit:
  Logic and intelligent interaction. Synth. 169(2): 219-221 (2009)
• 
  Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
  Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169(2): 385-403 (2009)
• 
  Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper:
  Keep 'hoping' for rationality: a solution to the backward induction paradox. Synth. 169(2): 301-333 (2009)
• 
  Anouk Barberousse, Sara Franceschelli, Cyrille Imbert:
  Computer simulations as experiments. Synth. 169(3): 557-574 (2009)
• 
  Robert W. Batterman:
  Idealization and modeling. Synth. 169(3): 427-446 (2009)
• 
  Arvid Båve:
  A deflationary theory of reference. Synth. 169(1): 51-73 (2009)
• 
  Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
  Determining the environment: a modal logic for closed interaction. Synth. 169(2): 351-369 (2009)
• 
  Neil Campbell, Dwayne Moore:
  On Kim's exclusion principle. Synth. 169(1): 75-90 (2009)
• 
  Massimiliano Carrara, Pieter E. Vermaas:
  The fine-grained metaphysics of artifactual and biological functional kinds. Synth. 169(1): 125-143 (2009)
• 
  Mario Castagnino, Olimpia Lombardi:
  The global non-entropic arrow of time: from global geometrical asymmetry to local energy flow. Synth. 169(1): 1-25 (2009)
• 
  Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
  Introspective forgetting. Synth. 169(2): 405-423 (2009)
• 
  John Earman:
  Essential self-adjointness: implications for determinism and the classical-quantum correspondence. Synth. 169(1): 27-50 (2009)
• 
  John Earman, Christopher Smeenk, Christian Wüthrich:
  Do the laws of physics forbid the operation of time machines? Synth. 169(1): 91-124 (2009)
• 
  Roman Frigg, Stephan Hartmann, Cyrille Imbert:
  Editorial. Synth. 169(3): 425 (2009)
• 
  Roman Frigg, Julian Reiss:
  The philosophy of simulation: hot new issues or same old stew? Synth. 169(3): 593-613 (2009)
• 
  Axel Gelfert:
  Rigorous results, cross-model justification, and the transfer of empirical warrant: the case of many-body models in physics. Synth. 169(3): 497-519 (2009)
• 
  Nina Gierasimczuk:
  Bridging learning theory and dynamic epistemic logic. Synth. 169(2): 371-384 (2009)
• 
  Till Grüne-Yanoff:
  The explanatory potential of artificial societies. Synth. 169(3): 539-555 (2009)
• 
  Leon Horsten, Philip D. Welch:
  The undecidability of propositional adaptive logic. Synth. 169(1): 217-218 (2009)
• 
  Tomohiro Hoshi, Audrey Yap:
  Dynamic epistemic logic with branching temporal structures. Synth. 169(2): 259-281 (2009)
• 
  Paul Humphreys:
  The philosophical novelty of computer simulation methods. Synth. 169(3): 615-626 (2009)
• 
  Lena Kurzen:
  Reasoning about cooperation, actions and preferences. Synth. 169(2): 223-240 (2009)
• 
  James Mattingly, Walter Warwick:
  Projectible predicates in analogue and simulated systems. Synth. 169(3): 465-482 (2009)
• 
  Matthew W. Parker:
  Computing the uncomputable; or, The discrete charm of second-order simulacra. Synth. 169(3): 447-463 (2009)
• 
  Wendy S. Parker:
  Does matter really matter? Computer simulations, experiments, and materiality. Synth. 169(3): 483-496 (2009)
• 
  Michael Rescorla:
  Predication and cartographic representation. Synth. 169(1): 175-200 (2009)
• 
  Wayne Riggs:
  Two problems of easy credit. Synth. 169(1): 201-216 (2009)
• 
  Olivier Roy:
  Intentions and interactive transformations of decision problems. Synth. 169(2): 335-349 (2009)
• 
  Joshua Sack:
  Extending probabilistic dynamic epistemic logic. Synth. 169(2): 241-257 (2009)
• 
  Dirk Schlimm:
  Learning from the existence of models: On psychic machines, tortoises, and computer simulations. Synth. 169(3): 521-538 (2009)

skipping 3 more matches