Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Concepts of Proof in Mathematics, Philosophy, and Computer Science

Ed. by Probst, Dieter / Schuster, Peter

Series:Ontos Mathematical Logic 6

eBook (PDF)
Publication Date:
July 2016
Copyright year:
2016
ISBN
978-1-5015-0262-0
See all formats and pricing

Cyclic Proofs for Linear Temporal Logic

Kokkinis, Ioannis / Studer, Thomas

Citation Information

Ioannis Kokkinis, Thomas Studer (2016). Cyclic Proofs for Linear Temporal Logic. In Dieter Probst, Peter Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science (pp. 171–192). Berlin, Boston: De Gruyter. https://doi.org/10.1515/9781501502620-011

Book DOI: https://doi.org/10.1515/9781501502620

Online ISBN: 9781501502620

© 2016 Walter de Gruyter GmbH, Berlin/Munich/BostonGet Permission

Comments (0)

Please log in or register to comment.
Log in