Loop-check free sequent calculi for unary fragment of temporal logic
This paper explores the construction of an efficient sequent calculus for a selected fragment of porpositional linear temporal logic (PLTL), extending the ideas of classical calculi discussed in [1], and builds upon previous investigations into the issue of loops in PLTL. Unary fragment of PLTL is...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Vilnius University Press
2025-12-01
|
| Σειρά: | Lietuvos Matematikos Rinkinys |
| Θέματα: | |
| Διαθέσιμο Online: | https://www.journals.vu.lt/LMR/article/view/44491 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|