A propositional logic of Temporal Connectives

Abstract: We investigate how to formalize reasoning that takes account of time by using connectives like “before” and “after.” We develop semantics for a formal logic, which we axiomatize. In proving that the axiomatization is strongly complete we show how a temporal ordering of propositions can yie...

Descripción completa

Detalles Bibliográficos
Autor Principal: Buitrago Díaz, Esperanza; Epstein, Richard L.
Formato: Artículo (Article)
Lenguaje:Desconocido (Unknown)
Publicado: 2014
Acceso en línea:http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/753