karl bühler digital

Home > Zeitschrift > Journal Issue

ÜberblickInhalt

Publication details

Jahr: 2004

Reihe: Synthese

Volle Referenz:

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

Knowledge, rationality & action

Inhalte

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