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...
Autor Principal: | |
---|---|
Formato: | Artículo (Article) |
Lenguaje: | Desconocido (Unknown) |
Publicado: |
2014
|
Materias: | |
Acceso en línea: | http://babel.banrepcultural.org/cdm/ref/collection/p17054coll23/id/753 |