# External Search Notes — EML-ONTO-CORE-05

A fresh literature search was run immediately before drafting Paper 05.

## 1. Approximate bisimulation / abstraction

Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap, Adnane Saoud.
`Compositional Approximately Bisimilar Abstractions of Interconnected Systems`.
arXiv:2211.08655 (2022).

Relevance:
- equivalence between systems and abstractions is defined relative to specified dynamics and approximation criteria;
- compositional preservation requires conditions.

Use:
- comparison for typed behavioral equivalence and approximate identity.

## 2. Coalgebraic behavioral equivalence

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue, Jan Rutten.
`Generalizing determinization from automata to coalgebras`.
arXiv:1302.1046 (2013).

Relevance:
- system type determines a notion of behavioral equivalence;
- multiple system semantics can be treated in one general framework.

Use:
- supports the methodological separation between token identity and behavior-relative equivalence.

## 3. Witnesses for behavioral inequivalence

Thorsten Wißmann, Stefan Milius, Lutz Schröder.
`Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence`.
arXiv:2203.11175 (2022).

Relevance:
- behaviorally inequivalent states can be separated by distinguishing modal formulae.

Use:
- useful comparison for the point-separating-query idea.

## 4. Observational equivalence depends on observation/scheduler semantics

Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani.
`Observational Equivalence Using Schedulers for Quantum Processes`.
arXiv:1412.8546 (2014).

Relevance:
- observational equivalence changes when scheduler restrictions change.

Use:
- comparison for context-relative equivalence.

## 5. Open-system interfaces and boundaries

Kenny Courser.
`Open Systems: A Double Categorical Perspective`.
arXiv:2008.02394 (2020).

John C. Baez.
`Double Categories of Open Systems: the Cospan Approach`.
arXiv:2509.22584 (2025).

Relevance:
- open systems are explicitly represented through interfaces / shared variables;
- system composition depends on boundary/interface structure.

Use:
- external comparison for typed boundary-crossing relational edges.

## 6. Inclusion of Other in the Self

Arthur Aron, Elaine N. Aron, Danny Smollan.
`Inclusion of Other in the Self Scale and the structure of interpersonal closeness`.
Journal of Personality and Social Psychology 63(4), 596–612 (1992).

Relevance:
- self–other overlap is measured as a degree of relational closeness/interconnectedness rather than a binary identity claim.

Use:
- psychological precedent for graded relational inclusion.

## 7. Neural self–other overlap

Sonia K. Kang, Jacob B. Hirsh, Alison L. Chasteen.
`Your mistakes are mine: Self-other overlap predicts neural response to observed errors`.
Journal of Experimental Social Psychology 46(1), 229–232 (2010).

Relevance:
- reported self–other overlap predicted neural response when observing another person's errors.

Use:
- shows relational overlap can have observable processing effects.

## 8. Perceptual self–other overlap

Sarah Ketay, Lindsey A. Beck, Suzanne Riela, Cristen Bailey, Arthur Aron.
`Seeing you in me: Preliminary evidence for perceptual overlap between self and close others`.
Journal of Social and Personal Relationships 36(8), 2474–2486 (2019).

Relevance:
- reaction-time studies reported self/close-other perceptual overlap effects in facial processing.

Use:
- additional empirical precedent for relational overlap affecting processing.

## Boundary rule

None of the psychological studies imply ontological identity, one consciousness, or metaphysical fusion. They are used only as empirical precedents that graded self–other overlap can have cognitive/perceptual/neural correlates.