Comonadic semantics for hybrid logic

DOI10.4230/LIPICS.MFCS.2022.7MaRDI QIDQ6583998zbMATH OpenFDO

Authors Samson Abramsky, Dan Marsden

Publication date 6 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2022.7

zbMATH Keywords

bounded fragmentcomonadshybrid logicmodel comparison gamessemantic characterizations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(5)

• Preservation theorems for Tarski's relation algebra
• A categorical account of composition methods in logic
• Hybrid-dynamic Ehrenfeucht-Fraïssé games
• Characterizations of two basic hybrid logics
• Modal logic with relations over paths: a theoretical development through comonadic semantics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6583998)