Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band

COPR Bookmark Link
237067

Synthese

Knowledge, rationality & action

Band 142 (2)

Details | Inhaltsverzeichnis

Nonmonotonic inferences and neural networks Reinhard Blutner

pp.143-174

https://doi.org/10.1007/s11229-004-1929-y
A model of jury decisions where all jurors have the same evidence Franz Dietrich Christian List

pp.175-202

https://doi.org/10.1007/s11229-004-1276-z
A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic M. KacprzakW. Penczek

pp.203-227

https://doi.org/10.1007/s11229-004-2446-8
Update semantics of security protocols Arjen HommersomJohn-Jules MeyerErik De Vink

pp.229-267

https://doi.org/10.1007/s11229-004-2247-0

Publication details

Zeitschrift: Synthese

Band: 142

Issue: 2

Year: 2004

Referenz:

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