Suggestions for Temporal-logic

The following packages have something in common with the package Temporal-logic. The packages are ordered in decreasing similarity.

Package turnstile: Typeset the (logic) turnstile notation
Package gene-logic: Typeset logic formulae, etc.
Package gensymb: Generic symbols for both text and math mode
Package begriff: Typeset Begriffschrift
Package frege: Typeset fregean Begriffsschrift
Package grundgesetze: Typeset Frege’s Grundgesetze der Arithmetik
Package logictools: Additional tools for typesetting formal logic
Package hwemoji: Unicode emoji support for pdfLaTeX with sequences
Package tablericons: Use tablerIcons through LaTeX commands
Package vscodeicons: Use vscode icons through LaTeX commands
Package morse-simple: Lightweight package to include short morse code strings
Package emf: Support for the EMF symbol
Package openmoji: Use openmoji through LaTeX commands
Package commonunicode: Convert common unicode symbols to LaTeX code
Package stretchy: Macros for creating stretchy TeX symbols
Package fitch: LaTeX macros for Fitch-style natural deduction
Package bxcoloremoji: Use color emojis more conveniently
Package twemojis: Use Twitter’s open source emojis through LaTeX commands
Package textgreek: Upright greek letters in text
Package lucide-icons: Use lucide-icons through LaTeX commands
Package graph-theory-symbol: Macros for symbols used in graph theory
Package resmes: Measure restriction symbol in LaTeX
Package undertilde: Typeset a tilde under one (or many) maths symbols
Package luatruthtable: Generate truth tables of boolean values in LuaLaTeX
Package truthtable: Automatically generate truth tables for given variables and statements
Package emotion: Make emojis more easy to use in XeLaTeX and LuaLaTeX
Package gfnotation: Typeset Gottlob Frege’s notation in plain TeX
Package logicproof: Box proofs for propositional and predicate logic
Package syllogism: Typeset syllogisms in LaTeX
Package fodot: Helpful commands to work with the FODOT
Package logix: Supplement to the Unicode math symbols