rotten news relay - comp.text.tex - New on CTAN: temporal-logic

Subject: New on CTAN: temporal-logic
From: CTAN Announcements
Newsgroups: comp.text.tex
Organization: CTAN
Date: Fri, 18 Oct 2024 14:15 UTC

Path: eternal-september.org!news.eternal-september.org!feeder3.eternal-september.org!news.mb-net.net!open-news-network.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: petra@ctan.org (CTAN Announcements)
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

View all headers

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

Subject	Author
New on CTAN: temporal-logic	CTAN Announcements

Don't kiss an elephant on the lips today.

comp / comp.text.tex / New on CTAN: temporal-logic