BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260922T132935Z
UID:Seminar-ARK-624@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Louwe Kuijer:MAILTO:Louwe.Kuijer@liverpool.ac.uk
DTSTART:20200608T150000
DTEND:20200608T160000
SUMMARY:Argumentation and Representation of Knowledge Series
DESCRIPTION:Sven Linker: Analysing Spatial Properties on Neighbourhood Spaces\n\nThe logic SLCS (Spatial Logic on Closure Spaces) is a modal \nlogic, which is defined with a generalisation of topological spaces as \nits semantics. These spaces, which we will call "neighbourhood spaces" \ncomprise, e.g., all topological spaces. Additionally, graphs can also be \ntreated as neighbourhood spaces. While a model checking algorithm for \nSLCS exists, the theory of the logic itself has only been studied \nsuperficially.\n\nIn this talk, I present first results towards a model theory of SLCS. To \nthat end, I define a bisimulations on neighbourhood spaces, preserving \nall operators of SLCS. This allows us to explore the expressiveness of \nSLCS. Furthermore, I compare this bisimulation with the standard \ndefinition of modal and converse bisimulations on graphical models.\n\nThe results are joint work with Fabio Papacchini and Michele Sevegnani.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=624
LOCATION:
END:VEVENT
END:VCALENDAR