Algebraization of Hybrid Logic with Binders

DOI10.1007/11828563_19zbMath1135.03031OpenAlexW1538098045MaRDI QIDQ5459188

Tadeusz Litak

Publication date: 24 April 2008

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

Full work available at URL: https://doi.org/10.1007/11828563_19

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (1)

Algebraic Semantics for Hybrid Logics

This page was built for publication: Algebraization of Hybrid Logic with Binders