Fixed inconsistent spelling

README.md

@@ -3,8 +3,8 @@
 ## Overview
 
 The package defines functions for rendering the temporal operators defined in
-the **Linear Temporal Logic** (_LTL_), **Metric Temporal Logic** (_MTL_), **Metric First-Order 
-Temporal Logic** (_MFOTL_), and **Counting Metric First Order Temporal Logic** (_CMFTBL_). The package 
+the **Linear Temporal Logic** (_LTL_), **Metric Temporal Logic** (_MTL_), **Metric First-order 
+Temporal Logic** (_MFOTL_), and **Counting Metric First-order Temporal Binding Logic** (_CMFTBL_). The package 
 defines various functions with variants in order to include or omit optional 
 parameters to the operators like the optional interval.
 

temporal-logic.dtx

@@ -51,11 +51,11 @@
 %  Symposium on Logic in Computer Science (LICS 1990). Elsevier.
 %  \url{https://doi.org/10.1006/inco.1993.1025}.}, \emph{Metric
 %  First-order Temporal Logic} (MFOTL)\footnote{Basin, David, Klaedtke, Felix,
-%  Müller, Samuel, and Zălinescu, Eugen. (2015). Monitoring Metric First-Order
+%  Müller, Samuel, and Zălinescu, Eugen. (2015). Monitoring Metric First-order
 %  Temporal Properties. In: Journal of the ACM (J. ACM). Association for
 %  Computing Machinery. \url{https://doi.org/10.1145/2699444}.}, and the
-%  \emph{Counting Metric First Order Temporal
-%  Logic} (CMFTBL)\footnote{Schallau, T., Naujokat, S., Kullmann, F., Howar, F.
+%  \emph{Counting Metric First-order Temporal Binding Logic}
+%  (CMFTBL)\footnote{Schallau, T., Naujokat, S., Kullmann, F., Howar, F.
 %  (2024). Tree-Based Scenario Classification. In: NASA Formal Methods (NFM
 %  2024). Lecture Notes in Computer Science, vol 14627. Springer, Cham.
 %  \url{https://doi.org/10.1007/978-3-031-60698-4\_15}.}. The package defines
@@ -68,9 +68,9 @@
 % \clearpage
 %
 % \section{Introduction}
-% \subsection{Counting Metric First Order Temporal Logic}
-%  \emph{Counting Metric First Order Temporal Logic} (CMFTBL) argues about
-%  finite traces of states. It is an extension of \emph{Metric First Order
+% \subsection{Counting Metric First-order Temporal Logic}
+%  \emph{Counting Metric First-order Temporal Logic} (CMFTBL) argues about
+%  finite traces of states. It is an extension of \emph{Metric First-order
 %  Temporal Logic} (MFOTL), which itself is based on \emph{Metric Temporal
 %  Logic} (MTL) and ultimately on \emph{Linear Temporal Logic} (LTL). All these
 %  logics extend the base with further operators and features.