NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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.
- Theoretical Mathematics