karl bühler digital

Home > Journal > Journal Issue

SummaryTable of contents

Publication details

Year: 2004

Series: Synthese

Full citation:

Knowledge, rationality & action, Synthese 142 (2), 2004.

Knowledge, rationality & action

Contents

Nonmonotonic inferences and neural networks

Reinhard Blutner

143-174

A model of jury decisions where all jurors have the same evidence

Franz Dietrich, Christian List

175-202

A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic

M. Kacprzak, W. Penczek

203-227

Update semantics of security protocols

Arjen Hommersom, John-Jules Meyer, Erik De Vink

229-267