Graduate studies at Western
|Abstract||Verifying an epistemic protocol involves creating a formalized version of the protocol in a suitable logical language, and next showing (i) that the steps of the protocol are in one to one correspondence with the steps in its formalized version, (ii) that the formalized version satisfies certain correctness conditions, and (iii) hence, that the original version also satisfies these conditions. We will show that DEL is a suitable medium for carrying out this program for an interesting example protocol|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Arjen Hommersom, John-jules Meyer & Erik De vink (2004). Update Semantics of Security Protocols. Synthese 142 (2):229 - 267.
Zhenming Zhai (1990). The Problem of Protocol Statements and Schlick's Concept of "Konstatierungen". PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:15 - 23.
Tomohiro Hoshi (2010). Merging DEL and ETL. Journal of Logic, Language and Information 19 (4):413-430.
Jan van Eijck, Comparing Process Algebra and Dynamic Epistemic Logic with Focus on Protocol Analysis.
Alan Jotkowitz, S. Glick & B. Gesundheit (2008). A Case Against Justified Non-Voluntary Active Euthanasia (the Groningen Protocol). American Journal of Bioethics 8 (11):23 – 26.
Nikola Nottelmann (2006). Otto Neurath on the Structure of Protocol Sentences; a New Approach to an Interpretative Puzzle. Journal for General Philosophy of Science 37 (1):165 - 186.
Sandra Bruneau (1998). Adding Pep (Protocol, Ethics, and Policies) to the Preparation of New Professionals. Ethics and Behavior 8 (3):249 – 267.
Corrado Viafora (1999). Toward a Methodology for the Ethical Analysis of Clinical Practice. Medicine, Health Care and Philosophy 2 (3):283-297.
Yanjing Wang (2010). Epistemic Modelling and Protocol Dynamics. Dissertation, University of Amsterdam
Alex Rajczi (2004). Making Risk-Benefit Assessments of Medical Research Protocols. Journal of Law, Medicine and Ethics 32 (2):338-348.
Sorry, there are not enough data points to plot this chart.
Added to index2010-11-21
Total downloads1 ( #292,381 of 739,352 )
Recent downloads (6 months)1 ( #61,538 of 739,352 )
How can I increase my downloads?