Imagen de Portada

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
Materias:
Temporal logic; Non-classical logics; Logic; Connectives; Constructive logic; Arithmetic of logic; Logic of time; Time; Propositional logic; Completeness theorem; Linear orderings; Subjective experience of time
Ciencias naturales y matemáticas; Ciencias naturales y matemáticas / Matemáticas; Filosofía y Psicología; Filosofía y Psicología / Lógica
Acceso en línea:http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/753

Internet

http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/753

Ejemplares similares