Algebraization of Hybrid Logic with Binders (bibtex)

by Tadeusz Litak

Reference:

Tadeusz Litak: Algebraization of Hybrid Logic with Binders, Chapter in Renate A. Schmidt, ed.: Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science, vol. 4136, pp. 281–295, Springer Berlin Heidelberg, 2006. Tarski-style algebraization of a modal formalism equivalent to the bounded fragment of predicate logic. In the local copy, cleaned some bugs and added a few comments. Also, page layout differs from the printed version: [local copy]

Bibtex Entry:

@incollection{Litak06:relmics,
 year={2006},
isbn={978-3-540-37873-0},
booktitle={Relations and Kleene Algebra in Computer Science},
volume={4136},
series={Lecture Notes in Computer Science},
editor={Schmidt, Renate A.},
keywords={conf},
doi={10.1007/11828563_19},
title={Algebraization of Hybrid Logic with Binders},
url={http://dx.doi.org/10.1007/11828563_19},
publisher={Springer Berlin Heidelberg},
author={Litak, Tadeusz},
pages={281--295},
comment={<div class="textleft"> Tarski-style algebraization of a modal formalism equivalent to the bounded fragment of predicate logic. In the local copy, cleaned some bugs and 
   added a few comments. Also, page layout differs from the printed version: </div> <a href="http://www8.cs.fau.de/~litak/papers/ssa_relmics.pdf">  [local copy] </a>}
}