A tableau for general linear temporal logic

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

14 Downloads (Pure)

Original language	English
Pages (from-to)	1057-1080
Journal	Journal of Logic and Computation
Volume	1
DOIs	https://doi.org/10.1093/logcom/exs042
Publication status	Published - 2013

Access to Document

@article{fa8ed0d109c04b0e89c21eaa4dbfe97b,

title = "A tableau for general linear temporal logic",

author = "Mark Reynolds",

year = "2013",

doi = "10.1093/logcom/exs042",

language = "English",

volume = "1",

pages = "1057--1080",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

}