---
title: "Temporal Reasoning and Termination of Programs"
authors:
  - "Luis Fariñas del Cerro"
doi: ""
url: "https://ijcai.org/proceedings/1983/218"
pdf: "https://ijcai.org/proceedings/1983/0218.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "926-928"
track: "Theorem Proving"
keywords:
---

# Temporal Reasoning and Termination of Programs

Luis Fariñas del Cerro

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, pages 926-928.

## Abstract

This paper deals with the relationship between the termination of programs and the validity of certain modal formulas. We give a complete proof procedure for theses formulas, which will allow to bring the correctness of these programs back to a problem of automated deduction in modal logic.