Linear Arboreal Categories

,

[1]  S. Abramsky,et al.  Arboreal Categories and Homomorphism Preservation Theorems , 2022, 2211.15808.

[2]  Lutz Schröder,et al.  Graded Monads and Behavioural Equivalence Games , 2022, LICS.

[3]  Samson Abramsky,et al.  Comonadic semantics for hybrid logic and bounded fragments , 2021, ArXiv.

[4]  Nihil Shah,et al.  The Pebble-Relation Comonad in Finite Model Theory , 2021, LICS.

[5]  Lutz Schröder,et al.  A Quantified Coalgebraic van Benthem Theorem , 2021, FoSSaCS.

[6]  S. Abramsky,et al.  Arboreal Categories: An Axiomatic Theory of Resources , 2021, Log. Methods Comput. Sci..

[7]  Lutz Schröder,et al.  Behavioural Preorders via Graded Monads , 2020, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[8]  Samson Abramsky,et al.  Comonadic semantics for guarded fragments , 2020, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[9]  A. Dawar,et al.  Game Comonads & Generalised Quantifiers , 2020, CSL.

[10]  M. Otto.  Graded modal logic and counting bisimulation , 2019, ArXiv.

[11]  Ichiro Hasuo,et al.  Codensity Games for Bisimilarity , 2019, New Generation Computing.

[12]  S. Abramsky,et al.  Relating Structure and Power: Comonadic Semantics for Computational Resources , 2018, CSL.

[13]  Pengming Wang,et al.  The pebbling comonad in Finite Model Theory , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[14]  Marino Miculan,et al.  Behavioural equivalences for coalgebras with unobservable moves , 2014, J. Log. Algebraic Methods Program..

[15]  Benjamin Rossman,et al.  Homomorphism preservation theorems , 2008, JACM.

[16]  Víctor Dalmau,et al.  Linear datalog and bounded path duality of relational structures , 2005, Log. Methods Comput. Sci..

[17]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[18]  Eric Rosen,et al.  Modal Logic over Finite Structures , 1997, J. Log. Lang. Inf..

[19]  Glynn Winskel,et al.  Bisimulation from Open Maps , 1994, Inf. Comput..

[20]  Jan van Eijck,et al.  Modal Logic, Transition Systems and Processes , 1993, J. Log. Comput..

[21]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum II , 1993, CONCUR.

[22]  Amir Pnueli,et al.  Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.

[23]  Neil Immerman,et al.  Upper and lower bounds for first order expressibility , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[24]  S. Abramsky,et al.  Comonadic semantics for hybrid logic , 2022, MFCS.

[25]  Samson Abramsky,et al.  Arboreal Categories and Resources , 2021, ICALP.

[26]  Martin Otto,et al.  Bisimulation invariance and finite models , 2006 .

[27]  Rob J. van Glabbeek,et al.  The Linear Time-Branching Time Spectrum (Extended Abstract) , 1990, CONCUR.

[28]  J.F.A.K. van Benthem,et al.  Modal Correspondence Theory , 1977 .