R. A. Bull. An algebraic study of tense logics with linear time. The journal of symbolic logic, vol. 33 (1968), pp. 27–38. - R. A. Bull. Note on a paper in tense logic. The journal of symbolic logic, vol. 34 (1969), pp. 215–218.

1971 ◽  
Vol 36 (1) ◽  
pp. 173-173
Author(s):  
Nino B. Cocchiarella
Keyword(s):  
Linear Time ◽  
Tense Logic ◽  
Symbolic Logic

An algebraic study of tense logics with linear time

1968 ◽  
Vol 33 (1) ◽  
pp. 27-38 ◽  
Author(s):  
R. A. Bull
Keyword(s):  
Linear Time ◽  
Propositional Calculus ◽  
Tense Logic ◽  
Finite Model ◽  
Model Property ◽  
Finite Model Property ◽  
Fourth Section ◽  
Classical Propositional Calculus ◽  
Axiom Systems ◽  
Time Linear

In [2] Prior puts forward a tense logic, GH1, which is intended to axiomatise tense logic with time linear and rational; he also contemplates the tense logic with time linear and real. The purpose of this paper is to give completeness proofs for three axiom systems, GH1, GHlr, GHli, with respect to tense logic with time linear and rational, real, and integral, respectively.1 In a fourth section I show that GH1 and GHlr have the finite model property, but that GHli lacks it.GH1 has the operators of the classical propositional calculus, together with operators P, H, F, G for ‘It has been the case that’, ‘It has always been the case that’, ‘It will be the case that’, ‘It will always be the case that’, respectively.

Prior’s Turn to Medieval Logic

KronoScope ◽  
2022 ◽  
Vol 21 (2) ◽  
pp. 157-171
Author(s):  
David Jakobsen
Keyword(s):  
Tense Logic ◽  
Symbolic Logic ◽  
Important Lesson ◽  
Modern Logic ◽  
Medieval Logic ◽  
Truth Value ◽  
Present Tense

Abstract The peculiar aspect of medieval logic, that the truth-value of propositions changes with time, gradually disappeared as Europe exited the Renaissance. In modern logic, it was assumed by W.V.O. Quine that one cannot appreciate modern symbolic logic if one does not take it to be tenseless. A.N. Prior’s invention of tense-logic challenged Quine’s view and can be seen as a turn to medieval logic. However, Prior’s discussion of the philosophical problems related to quantified tense-logic led him to reject essential aspects of medieval logic. This invites an evaluation of Prior’s formalisation of tense-logic as, in part, an argument in favour of the medieval view of propositions. This article argues that Prior’s turn to medieval logic is hampered by his unwillingness to accept essential medieval assumptions regarding facts about objects that do not exist. Furthermore, it is argued that presentists should learn an important lesson from Prior’s struggle with accepting the implications of quantified tense-logic and reject theories that purport to be presentism as unorthodox if they also affirm Quine’s view on ontic commitment. In the widest sense: philosophers who, like Prior, turn to the medieval view of propositions must accept a worldview with facts about individuals that, in principle, do not supervene (present tense) on being, for they do not yet exist.

A Real Time Control Architecture for Continuously Managing Patients in a Care Unit

1995 ◽  
Vol 34 (05) ◽  
pp. 475-488
Author(s):  
B. Seroussi ◽  
J. F. Boisvieux ◽  
V. Morice
Keyword(s):  
Real Time ◽  
Linear Time ◽  
Treatment Plan ◽  
Control Architecture ◽  
Real Time Control ◽  
Time Representation ◽  
Time Control ◽  
Continuous Support ◽  
Definition Of ◽  
Computerized System

Abstract:The monitoring and treatment of patients in a care unit is a complex task in which even the most experienced clinicians can make errors. A hemato-oncology department in which patients undergo chemotherapy asked for a computerized system able to provide intelligent and continuous support in this task. One issue in building such a system is the definition of a control architecture able to manage, in real time, a treatment plan containing prescriptions and protocols in which temporal constraints are expressed in various ways, that is, which supervises the treatment, including controlling the timely execution of prescriptions and suggesting modifications to the plan according to the patient’s evolving condition. The system to solve these issues, called SEPIA, has to manage the dynamic, processes involved in patient care. Its role is to generate, in real time, commands for the patient’s care (execution of tests, administration of drugs) from a plan, and to monitor the patient’s state so that it may propose actions updating the plan. The necessity of an explicit time representation is shown. We propose using a linear time structure towards the past, with precise and absolute dates, open towards the future, and with imprecise and relative dates. Temporal relative scales are introduced to facilitate knowledge representation and access.

Sign in / Sign up

Export Citation Format

Share Document