scientific article

zbMath1335.03016MaRDI QIDQ2799620

R. Alonderis, Regimantas Pliuškevičius

Publication date: 13 April 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculitemporal logics\(\omega\)-type ruleinvariant-like rulelooping axiomsweak-induction rule

Mathematics Subject Classification ID

Structure of proofs (03F07) Temporal logic (03B44) Proof theory in general (including proof-theoretic semantics) (03F03)