Accession Number:

ADA610943

Title:

Distributed Logics

Descriptive Note:

Memorandum rept.

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Report Date:

2014-10-03

Pagination or Media Count:

15.0

Abstract:

Distributed systems are ubiquitous in computing and engineering, yet they have been somewhat obscured in the philosophical world. A distributed logic is a collection of local modal logics linked together by distributed modal connectives each of which takes formulas in one logic and returns formulas in a different logic. Semantically, each local logic is interpreted over a collection of worlds. Let this collection be called the local collection for this local logic. A local neighborhood nbd map takes each world to a set of worlds taken from the local collection and is used to interpret the modal connectives of the local logic. The distributed modal connectives are also interpreted using nbd maps here, the nbd maps take worlds from a local collection of worlds to nbds of worlds from a different local collection.

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE