A logic of isolation
Conference paper
Baskent, C., Gilbert, D. and Venturi, G. 2024. A logic of isolation. Metcalfe, G., Studer, T. and de Queiroz, R. (ed.) 30th International Workshop on Logic, Language, Information, and Computation. Bern, Switzerland 10 - 13 Jun 2024 Cham Springer. pp. 36-46 https://doi.org/10.1007/978-3-031-62687-6_3
Type | Conference paper |
---|---|
Title | A logic of isolation |
Authors | Baskent, C., Gilbert, D. and Venturi, G. |
Abstract | 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. Focussing initially on neighborhood 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 result for discrete spaces. |
Keywords | logic; topological spaces; reflexive insensitivity |
Sustainable Development Goals | 4 Quality education |
Middlesex University Theme | Creativity, Culture & Enterprise |
Conference | 30th International Workshop on Logic, Language, Information, and Computation |
Page range | 36-46 |
Proceedings Title | Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings |
Series | Lecture Notes in Computer Science |
Editors | Metcalfe, G., Studer, T. and de Queiroz, R. |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
ISBN | |
Paperback | 9783031626869 |
Electronic | 9783031626876 |
Publisher | Springer |
Place of publication | Cham |
Publication dates | |
Online | 08 Jun 2024 |
Publication process dates | |
Accepted | Apr 2024 |
Deposited | 08 Jul 2024 |
Output status | Published |
Accepted author manuscript | File Access Level Open |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-031-62687-6_3 |
Web address (URL) of conference proceedings | https://doi.org/10.1007/978-3-031-62687-6 |
Permalink -
https://repository.mdx.ac.uk/item/15zy12
Restricted files
Accepted author manuscript
Under embargo until 08 Jun 2025
10
total views1
total downloads3
views this month0
downloads this month