This analysis demonstrates characterization results for modal logic in neighbourhood systems, highlighting semantic insensitivities.
In the vein of recent work that provides non-normal modal interpretations of various topological operators, this paper proposes a modal logic for a spatial isolation operator. Focusing initially on neighbourhood systems, we prove several characterization results, demonstrating the adequacy of the interpretation and highlighting certain semantic insensitivities that result from the relative expressive weakness of the isolation operator. We then transition to the topological setting, proving a topological characterization result.
No takes yet. Share an insight, caveat, or question.
Başķent et al. (2025) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: