Concerning the Semantic Consequence Relation in First-Order Temporal Logic

@article{Szalas1986ConcerningTS,
  title={Concerning the Semantic Consequence Relation in First-Order Temporal Logic},
  author={Andrzej Szalas},
  journal={Theor. Comput. Sci.},
  year={1986},
  volume={47},
  pages={329-334}
}