https://github.com/tudo-aqua/temporal-logic-latex-package

Latex package for temporal logic operators
https://github.com/tudo-aqua/temporal-logic-latex-package

latex-package temporal-logic

Last synced: 28 days ago
JSON representation

Latex package for temporal logic operators

• Host: GitHub
• URL: https://github.com/tudo-aqua/temporal-logic-latex-package
• Owner: tudo-aqua
• License: lppl-1.3c
• Created: 2024-05-29T22:25:24.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-10-17T15:19:52.000Z (3 months ago)
• Last Synced: 2024-10-28T02:34:11.101Z (2 months ago)
• Topics: latex-package, temporal-logic
• Language: TeX
• Homepage:
• Size: 46.9 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Latex package for Temporal Logic Operators

## 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 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.

## Build the package

If you want to generate the necessary `.sty` file and the documentation for this

package you can do this with the following steps:  

1. Generate `.sty` file from `.ins` file with the command:  

		`latex temporal-logic.ins`

2. Generate documentation with the command:  

		`latexmk -pdf temporal-logic.dtx`

## Copyright and License

Copyright (C) 2024 Dominik Schmid and Till Schallau

This work may be distributed and/or modified under the conditions of the LaTeX

Project Public License, either version 1.3c of this license or (at your option)

any later version. The latest version of this license is in

http://www.latex-project.org/lppl.txt and version 1.3c or later is part of all

distributions of LaTeX version 2005/12/01 or later.