Graph Abstraction for a Modal Logic

Autor: Boneva, Iovka, Ehrig, H, Kreiker, Jörg, Kurban, M.E., Rensink, Arend

Publikováno v: Bulletin of the European Association for Theoretical Computer Science, 97, 106-116. European Association for Theoretical Computer Science

We are studying a particular graph abstraction, based on the concept of retaining neighbourhood information up to a certain radius for each node. In this contribution, we present a modal logic on graphs that is preserved and reflected by this abstrac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::000c1eea27c7238ff78991c6d5b5d616
https://research.utwente.nl/en/publications/graph-abstraction-for-a-modal-logic(f72316b7-bc04-4c32-ab72-7ac1c2606551).html