Sequent calculi of composition nominative modal logics of functional-equational level
Composition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theor...
Gespeichert in:
| Datum: | 2025 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/794 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |