68 days
Time to First Decision

Logics, Volume 2, Issue 2

2024 June - 1 articles

Issues are regarded as officially published after their release is announced to the table of contents alert mailing list .
You may sign up for email alerts to receive table of contents of newly released issues.
PDF is the official format for papers published in both, html and pdf forms. To view the papers in pdf format, click on the "PDF Full-text" link, and use the free Adobe Reader to open them.

Articles (1)

Select all

Article

2,127 Views

33 Pages

DECLAREd: A Polytime LTL_f Fragment

Giacomo Bergami

Logics2024, 2(2), 79-111;https://doi.org/10.3390/logics2020004

31 May 2024

This paper considers a specification rewriting meachanism for a specific fragment of Linear Temporal Logic for Finite traces, DECLAREd, working through an equational logic and rewriting mechanism under customary practitioner assumptions from the Busi...

Full Article

Get Alerted

Add your email address to receive forthcoming issues of this journal.

Logics - ISSN 2813-0405

Imprint

Download Flyer

Logics, Volume 2, Issue 2

Articles (1)

DECLAREd: A Polytime LTLf Fragment

DECLAREd: A Polytime LTL_f Fragment