The Logic of Distributed Protocols

, &
Journal of Symbolic Logic 53 (2):667 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274551

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.Carlos Caleiro, Luca Viganò & David Basin - 2005 - Logic Journal of the IGPL 13 (6):637-663.
Abstract models for dialogue protocols.Raquel Fernández & Ulle Endriss - 2007 - Journal of Logic, Language and Information 16 (2):121-140.
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.
Distributed containment control of second-order multiagent systems with input delays under general protocols.Lina Rong & Hao Shen - 2016 - Complexity 21 (6):112-120.
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.
Relating protocols for dynamic dispute with logics for defeasible argumentation.Henry Prakken - 2001 - Synthese 127 (1-2):187-219.
Review: Ronald Fagin, Moshe Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report.William J. Rapaport, Ronald Fagin & Moshe Y. Vardi - 1988 - Journal of Symbolic Logic 53 (2):667.
Symmetry in information flow.Jeffrey Kane & Pavel Naumov - 2014 - Annals of Pure and Applied Logic 165 (1):253-265.
Maintaining Consistency in Distributed Databases.A. W. Roscoe - 1990
Indigenous cultural protocols as legal obligations in filmmaking.Sally McCausland - unknown
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
A Logic For Distributed Processes.W. Richard Strark - 1989 - Mathematical Logic Quarterly 35 (4):311-320.
Distributed morality in an information society.Luciano Floridi - 2013 - Science and Engineering Ethics 19 (3):727-743.
The role of agency in distributed cognitive systems.Ronald N. Giere - 2006 - Philosophy of Science 73 (5):710-719.

Analytics

Added to PP
2013-11-03

Downloads
20 (#747,345)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.
Memory and perfect recall in extensive games.Giacomo Bonanno - 2004 - Games and Economic Behavior 47 (2):237-256.
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references