Grouping based calculus for propositional linear temporal logic
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the absence of a loop beneath some sequent, and crea...
Shranjeno v:
| Principais autores: | , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Vilnius University Press
2024-12-01
|
| Serija: | Lietuvos Matematikos Rinkinys |
| Teme: | |
| Online dostop: | https://ojs.test/index.php/LMR/article/view/37368 |
| Oznake: |
Brez oznak, prvi označite!
|