A proof system for a unified temporal logic

DOI10.1007/978-3-030-26176-4_55zbMath1497.03036OpenAlexW2963595366MaRDI QIDQ2300079

Yanyan Li

Publication date: 24 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-26176-4_55

zbMATH Keywords

theorem provingtemporal logicsoundnessproof systemindexed expression

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

A sound and complete proof system for a unified temporal logic

This page was built for publication: A proof system for a unified temporal logic