View in EDS HTML Full Text PDF Full Text

On the weak completeness of a fragment of linear temporal logic.

Saved in:

Bibliographic Details
Title:	On the weak completeness of a fragment of linear temporal logic.
Authors:	Baratella, Stefano¹
Source:	Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-12, 12p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exaf037