A sound and complete proof system for a unified temporal logic

From MaRDI portal
Publication:2197533

DOI10.1016/j.tcs.2020.05.015zbMath1485.03045OpenAlexW3028347811MaRDI QIDQ2197533

Yanyan Li

Publication date: 1 September 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.05.015





Uses Software


Cites Work




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