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

Re: [tlaplus] LTL axiomatic system

From: fl <freder...@xxxxxxxxxxx>
Date: Mon, 15 Aug 2016 10:41:23 -0700 (PDT)
References: <6cd22891-fce5-42bb-9b3f-6deabee2d75e@googlegroups.com> <e80b10af-35dc-4337-84ed-186a474596ae@googlegroups.com> <4eff8892-9996-47ed-863b-3210efceb325@googlegroups.com> <96DDACD8-94BD-46BE-B90F-B33AAAA115DE@gmail.com> <c0d2f756-164e-497e-baa0-7bf29bbac42a@googlegroups.com> <965BF6AF-9241-4ACF-BE09-63C10CD8544B@gmail.com>

First-order temporal logic is easy to define semantically, but hard to axiomatize.

But can we find such a system of axioms somewhere?

--
FL

Follow-Ups:
- Re: [tlaplus] LTL axiomatic system
  - From: Stephan Merz

References:
- LTL axiomatic system
  - From: fl
- Re: LTL axiomatic system
  - From: ka...@xxxxxxxxxxxxxxx
- Re: LTL axiomatic system
  - From: fl
- Re: [tlaplus] LTL axiomatic system
  - From: Stephan Merz
- Re: [tlaplus] LTL axiomatic system
  - From: fl
- Re: [tlaplus] LTL axiomatic system
  - From: Stephan Merz

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