{"type":"ScholarlyArticle","title":"Temporal Reasoning and Termination of Programs","authors":[{"name":"Luis Fariñas del Cerro","slug":"luis-farinas-del-cerro","given":"Luis","family":"Fariñas del Cerro","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1983/218","pdf":"https://ijcai.org/proceedings/1983/0218.pdf","markdown":"https://ijcai.org/proceedings/1983/218.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/218","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Theorem Proving","track":"Theorem Proving","number":218,"pages":{"first":926,"last":928},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}