Generalized Product of Coalgebraic Hybrid Logics

DOI10.1007/978-3-642-22944-2_23zbMath1290.03006OpenAlexW54280018MaRDI QIDQ3090878

Katsuhiko Sano

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_23

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Combined logics (03B62)

Related Items (1)

Topological Perspective on the Hybrid Proof Rules

This page was built for publication: Generalized Product of Coalgebraic Hybrid Logics