2 citations · 3 across the 9 of their papers we have counts for
9 papers
Monads and Distributive Laws in Substructural Contexts (Extended Version)
Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute +1
We present a categorical theory of monads and distributive laws in substructural contexts. In the study of distributive laws, the roles of (the absence of) structural rules for var…
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
Radu-Florin Tulcan, Rose Bohrer, Yoàv Montacute +3
We introduce a hybrid spatiotemporal logic for automotive safety applications (HSTL), focused on highway driving. Spatiotemporal logic features specifications about vehicles throug…
Concurrent Games over Relational Structures: The Origin of Game Comonads
Yoàv Montacute, Glynn Winskel
Spoiler-Duplicator games are used in finite model theory to examine the expressive power of logics. Their strategies have recently been reformulated as coKleisli maps of game comon…
Cantor Derivative Logic in Topological Dynamics
Yoàv Montacute
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…
Dynamic Tangled Derivative Logic of Metric Spaces
David Fernández-Duque, Yoàv Montacute
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due…
Linear Arboreal Categories
Samson Abramsky, Yoàv Montacute, Nihil Shah
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural…
Untangled: A Complete Dynamic Topological Logic
David Fernández-Duque, Yoàv Montacute
Dynamic topological logic () is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by Fernández-Duque that the natural set of axi…
The Pebble-Relation Comonad in Finite Model Theory
Yoàv Montacute, Nihil Shah
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 p…
Dynamic Cantor Derivative Logic
David Fernández-Duque, Yoàv Montacute
Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as -logics. Unlike logics based on the topologica…