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 |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://www.journals.vu.lt/LMR/article/view/44491 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|