Volume 142, Issue 2 | Synthese

Home
Synthese
Volumes and issues
Volume 142, Issue 2

Synthese

An International Journal for Epistemology, Methodology and Philosophy of Science

Publishing model:: Hybrid

Submit your manuscript

Search all Synthese articles

Volume 142, Issue 2

September 2004

Special Section: Knowledge, Rationality & Action

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Nonmonotonic Inferences and Neural Networks
Reinhard Blutner
OriginalPaper Pages: 143 - 174
A Model of Jury Decisions where all Jurors have the same Evidence
Franz Dietrich
Christian List
OriginalPaper Pages: 175 - 202
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic
M. Kacprzak
W. Penczek
OriginalPaper Pages: 203 - 227
Update Semantics of Security Protocols
Arjen Hommersom
John-jules Meyer
Erik De vink
OriginalPaper Pages: 229 - 267