[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: LTL axiomatic system

From: "ka...@xxxxxxxxxxxxxxx" <ka...@xxxxxxxxxxxxxxx>
Date: Thu, 11 Aug 2016 03:21:41 -0700 (PDT)
References: <6cd22891-fce5-42bb-9b3f-6deabee2d75e@googlegroups.com>

What you wrote is an axiom for the weak until or unless operator, typically written W, not to be confused with the (strong) until operator denoted by U.

Follow-Ups:
- Re: LTL axiomatic system
  - From: fl

References:
- LTL axiomatic system
  - From: fl

Prev by Date: LTL axiomatic system
Next by Date: Re: LTL axiomatic system
Previous by thread: LTL axiomatic system
Next by thread: Re: LTL axiomatic system
Index(es):
- Date
- Thread