Publication | Closed Access
Incompleteness of first-order temporal logic with until
49
Citations
2
References
1988
Year
Non-classical LogicEngineeringAutomated ReasoningFirst-order Temporal LogicFormal MethodsFirst-order LogicTemporal Logic
| Year | Citations | |
|---|---|---|
Page 1
Page 1