Distributed Logics

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 03, 2014
Accession Number
ADA610943

Entities

People

  • Gerard Allwein
  • William L. Harrison

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • C4I
  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Boolean Algebra
  • Computer Science
  • Department Of Defense
  • Identities
  • Information Systems
  • Intellectual Property
  • Language
  • Logic
  • Military Research
  • Model Theory
  • Models
  • Security
  • Simulations
  • Specifications
  • Theorems

Readers

  • Artificial Intelligence
  • Clinical Trial Research.
  • Computer Vision.