We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Behavioral Mereology: A Modal Logic for Passing Constraints

Authors: Brendan Fong (MIT), David Jaz Myers (Johns Hopkins), David I. Spivak (MIT)
Abstract: Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is formally topos-theoretic, and agnostic to the topos, providing maximal generality; however, by using only its internal logic we can hide the details and readers may assume a completely elementary set-theoretic discussion. We consider the relationship between various parts of a whole in terms of how behavioral constraints are passed between them, and give an inter-modal logic that generalizes the usual alethic modalities in the setting of symmetric accessibility.
Comments: In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:1811.00420
Subjects: Logic in Computer Science (cs.LO)
ACM classes: F4.1
Journal reference: EPTCS 333, 2021, pp. 276-288
DOI: 10.4204/EPTCS.333.19
Cite as: arXiv:2101.10490 [cs.LO]
  (or arXiv:2101.10490v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Tue, 26 Jan 2021 00:08:26 GMT (135kb,D)

Link back to: arXiv, form interface, contact.