[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
LTL axiomatic system
From
: fl <
freder...@xxxxxxxxxxx
>
Date
: Thu, 11 Aug 2016 02:25:13 -0700 (PDT)
Can somebody confirm me that the following formula may be regarded as an axiom of LTL?
http://us2.metamath.org:88/
mpegif/ax-ltl5.html
--
FL
Follow-Ups
:
Re: LTL axiomatic system
From:
ka...@xxxxxxxxxxxxxxx
Prev by Date:
Re: Jumping to end of process in PlusCal?
Next by Date:
Re: LTL axiomatic system
Previous by thread:
Re: [tlaplus] Experimenting with PlusCal / TLA+ at Dropbox
Next by thread:
Re: LTL axiomatic system
Index(es):
Date
Thread