Towards Completeness via Proof Search in the Linear Time μ-calculus (Q4635894)
From MaRDI portal
scientific article; zbMATH DE number 6863507
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards Completeness via Proof Search in the Linear Time μ-calculus |
scientific article; zbMATH DE number 6863507 |
Statements
Towards Completeness via Proof Search in the Linear Time μ-calculus (English)
0 references
23 April 2018
0 references
(co)induction
0 references
circular proofs
0 references
mu-calculus
0 references
parity automata
0 references
proof-search
0 references
Safra construction
0 references
sequent calculus
0 references