Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: CTAN Announcements <petra@ctan.org>
Newsgroups: comp.text.tex
Subject: New on CTAN: temporal-logic
Date: Fri, 18 Oct 2024 16:15:35 +0200
Organization: CTAN
Lines: 41
Message-ID: <ZxJth2LSomZLHhUj@prptp>
Reply-To: ctan@ctan.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: solani.org;
	logging-data="635830"; mail-complaints-to="abuse@news.solani.org"
To: CTAN Announcements <ctan-ann@ctan.org>
Cancel-Lock: sha1:YCR8iLhlnbs9zu8gSIU6u+cT43Y=
Precedence: list
Message-ID-Hash: HF2WKA42C6QUZFDY6WQMUGK4N2SPLGRJ
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=dkim;
	t=1729260952; h=from:from:reply-to:reply-to:subject:subject:date:date:
	 message-id:message-id:to:to:cc:mime-version:mime-version:
	 content-type:content-type:  content-transfer-encoding:content-transfer-encoding;
	bh=xovoisweSbOgPLz6NQYsvLQaUiv6Ix9WdaISFzFxtWk=;
	b=hkUQglucJqRB15GFyQStsEPsG7dGUIr5iE4LdAg0siFCWGEq6mmND3OkhN2TjvejyjlKPn
	11zfzlPRtHR7PFZ6xoZXVqgJKrJRGKeNS3ah2esfm/Uc9K4aKBWzSaeOwUS7iML4AT4AVY
	t0vBg9jo8xC/fKzsVGK6Ty5rOAY/Dtw=
X-MailFrom: petra@ctan.org
X-Mailman-Version: 3.3.8
X-Message-ID-Hash: HF2WKA42C6QUZFDY6WQMUGK4N2SPLGRJ
X-User-ID: eJwFwYEBACAEBMCVivc0jsL+I3Rnys3noBE2NuUPo9V9GMLHLPUzuIVcNzJaW2BbQ1JmsT8uYxFq
X-Mailman-Rule-Hits: member-moderation
Content-Disposition: inline
Bytes: 3032

Dominik Schmid submitted the

                temporal-logic

package.

Version:  1.0 2024-10-17
License:  lppl1.3c

Summary description:  Symbols for Temporal Logics

Announcement text:
----------------------------------------------------------------------
 
 The temporal-logic package defines functions for rendering temporal
 operators defined in Linear Temporal Logic (LTL), Metric Temporal
 Logic (MTL), Metric First-order Temporal Logic (MFOTL), and the
 Counting Metric First-order Temporal Binding Logic (CMFTBL).
 The package defines various functions with variants in order to
 include or omit optional parameters of the operators like the
 optional interval.

----------------------------------------------------------------------

The package’s Catalogue entry can be viewed at
   https://ctan.org/pkg/temporal-logic

The package’s files themselves can be inspected at
   https://mirrors.ctan.org/macros/latex/contrib/temporal-logic/

------------------------------------------------------------------------

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese

------------------------------------------------------------------------

CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs