Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSynthese, Volume 169
Volume 169, Number 1, July 2009
- Mario Castagnino, Olimpia Lombardi
:
The global non-entropic arrow of time: from global geometrical asymmetry to local energy flow. 1-25 - John Earman:
Essential self-adjointness: implications for determinism and the classical-quantum correspondence. 27-50 - Arvid Båve:
A deflationary theory of reference. 51-73 - Neil Campbell, Dwayne Moore:
On Kim's exclusion principle. 75-90 - John Earman, Christopher Smeenk, Christian Wüthrich:
Do the laws of physics forbid the operation of time machines? 91-124 - Massimiliano Carrara, Pieter E. Vermaas:
The fine-grained metaphysics of artifactual and biological functional kinds. 125-143 - Daniel Aaron Weiskopf:
The plurality of concepts. 145-173 - Michael Rescorla:
Predication and cartographic representation. 175-200 - Wayne Riggs:
Two problems of easy credit. 201-216 - Leon Horsten, Philip D. Welch:
The undecidability of propositional adaptive logic. 217-218
Volume 169, Number 2, July 2009
- Thomas Ågotnes, Johan van Benthem, Eric Pacuit:
Logic and intelligent interaction. 219-221 - Lena Kurzen:
Reasoning about cooperation, actions and preferences. 223-240 - Joshua Sack:
Extending probabilistic dynamic epistemic logic. 241-257 - Tomohiro Hoshi, Audrey Yap:
Dynamic epistemic logic with branching temporal structures. 259-281 - Fernando R. Velázquez-Quesada:
Inference and update. 283-300 - Alexandru Baltag, Sonja Smets, Jonathan A. Zvesper:
Keep 'hoping' for rationality: a solution to the backward induction paradox. 301-333 - Olivier Roy:
Intentions and interactive transformations of decision problems. 335-349 - Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Determining the environment: a modal logic for closed interaction. 351-369 - Nina Gierasimczuk:
Bridging learning theory and dynamic epistemic logic. 371-384 - Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents. 385-403 - Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Introspective forgetting. 405-423
Volume 169, Number 3, August 2009
- Roman Frigg, Stephan Hartmann, Cyrille Imbert:
Editorial. 425 - Robert W. Batterman:
Idealization and modeling. 427-446 - Matthew W. Parker:
Computing the uncomputable; or, The discrete charm of second-order simulacra. 447-463 - James Mattingly, Walter Warwick:
Projectible predicates in analogue and simulated systems. 465-482 - Wendy S. Parker:
Does matter really matter? Computer simulations, experiments, and materiality. 483-496 - Axel Gelfert:
Rigorous results, cross-model justification, and the transfer of empirical warrant: the case of many-body models in physics. 497-519 - Dirk Schlimm:
Learning from the existence of models: On psychic machines, tortoises, and computer simulations. 521-538 - Till Grüne-Yanoff:
The explanatory potential of artificial societies. 539-555 - Anouk Barberousse, Sara Franceschelli, Cyrille Imbert:
Computer simulations as experiments. 557-574 - Eric Winsberg:
A tale of two methods. 575-592 - Roman Frigg, Julian Reiss:
The philosophy of simulation: hot new issues or same old stew? 593-613 - Paul Humphreys:
The philosophical novelty of computer simulation methods. 615-626
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
