The power of the ``always operator in first-order temporal logic

DOI10.1016/0304-3975(95)00108-5zbMath0872.68172OpenAlexW2006548004MaRDI QIDQ1350527

Chung Kei Wong, Michael Kaminski

Publication date: 27 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00108-5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• The power of temporal proofs
• Nonclausal deduction in first-order temporal logic
• A really temporal logic
• Semantical Analysis of Logic of Actions

This page was built for publication: The power of the ``always operator in first-order temporal logic