Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

article · 2002

61 citationsDOI: https://doi.org/10.1016/s0168-0072(01)00124-5

Axiomatizing the monodic fragment of first-order temporal logic