Temporal Logic
From Ancient Ideas to Artificial Intelligence
Article
Current genetics studies often refer to notions from information science. The purpose of this paper is to summarize and structure the different notions of information used in biology, as a step towards develop...
Article
This paper is a critical discussion of A.N. Prior’s contribution to the modern understanding of indeterminism and human freedom of choice. Prior suggested that these ideas should be conceived in terms of his t...
Article
Article
A. N. Prior’s writings should obviously be studied already for historical reasons. His inventions of modern temporal logic and hybrid logic are clearly important events in the history of logic. But the endurin...
Chapter
According to A. N. Prior the use of temporal logic makes it possible to obtain a clear understanding of the consequences of accepting the doctrines of indeterminism and free choice. Nuel Belnap is one of the m...
Article
Article
Article
This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence be...
Article
In his paper, The logic of obligation and the obligations of the logician, A.N. Prior considers Hintikka’s theorem, according to which a statement cannot be both impossible and permissible. This theorem has been ...
Article
Article
Chapter
Temporal reasoning is captured in one manner by tense logic i.e. the logic of primitive tense-operators, and in another manner by the logic of instants (or dates) i.e. the earlier-later calculus. In terms of M...
Chapter
It was always true that what is true in the present was to be in the future. But as the truth of a proposition regarding the present is a created truth, so is that of a proposition regarding the future. Theref...
Book
Article
Article