.. _temporal-logic:

A temporal logic primer
***********************

.. caution:: This chapter is still under construction