Comonadic semantics for hybrid logic

From MaRDI portal

Publication:6583998

Jump to:navigation, search

DOI10.4230/lipics.mfcs.2022.7MaRDI QIDQ6583998

Dan Marsden, Samson Abramsky

Publication date: 6 August 2024

zbMATH Keywords

hybrid logic comonads bounded fragment semantic characterizations model comparison games

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Preservation theorems for Tarski's relation algebra

This page was built for publication: Comonadic semantics for hybrid logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6583998&oldid=40123228"