Partial cut elimination for propositional discrete linear time temporal logic (Q2810015)
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: Partial cut elimination for propositional discrete linear time temporal logic |
scientific article; zbMATH DE number 6587708
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial cut elimination for propositional discrete linear time temporal logic |
scientific article; zbMATH DE number 6587708 |
Statements
30 May 2016
0 references
sequent calculi
0 references
cut rule
0 references
temporal logic
0 references
past temporal operators
0 references
completeness
0 references
0.9277714
0 references
0.9027881
0 references
0.89288354
0 references
0.8869621
0 references
0.8864579
0 references
0.87932646
0 references
0.8774965
0 references
0.8770515
0 references
Partial cut elimination for propositional discrete linear time temporal logic (English)
0 references
