A cyclic proof system for full computation tree logic (Q6610603)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A cyclic proof system for full computation tree logic |
scientific article; zbMATH DE number 7918684
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A cyclic proof system for full computation tree logic |
scientific article; zbMATH DE number 7918684 |
Statements
A cyclic proof system for full computation tree logic (English)
0 references
25 September 2024
0 references
full computation tree logic
0 references
hypersequent calculus
0 references
cyclic proofs
0 references
