Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Yoàv Montacute"'
Autor:
Yoàv Montacute, Nihil Shah
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the pebbling comonad specifies equivalences under different fragments and e
Externí odkaz:
https://doaj.org/article/3723d734d8ba4c7c81790a3857143021
Autor:
David Fernández-Duque, Yoàv Montacute
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the
Externí odkaz:
https://doaj.org/article/3223571e451649fb93dce889efacc313