my forest
1\import{refs-datalog}
2\title{Temporal logic}
3\taxon{Research Theme}
4\author{liamoc}
5\p{As one of the most common ways to specify reactive systems, temporal logic hasn't gotten as much attention as it deserves. I hope to expand on the theory of temporal logics as well as put them into more practical software engineering tools.}
6 \query\datalog{
7 ?X -: {\rel/my-references ?X} {\rel/has-tag ?X '{temporal-logic}}
8 }