Time and logic: A calculus of binary events

DOI10.1007/BF02253614MaRDI QIDQ1805011zbMATH OpenFDO

Authors H. von Issendorff

Publication date 13 December 1995

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02253614

zbMATH Keywords

algebra over binary eventsbent algebrabent logicbitcausalitycomputation theoryconcurrent systemslivenesslogic over time-bound propositionspoint of timeprocess logicsafetyspecification of processing systemsthree-valued algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

Time is not viewed as a fundamental notion but as a notion deduced from the concept of causality: ``First we introduce the notion of a binary event which generates a bit and thereby marks a point of time. Assuming causality between the binary events allows to map a coherent set of binary events into a simultaneity set of a single point of time. This set provides the base for the definition of an algebra over binary events and a logic over time-bound propositions. A functional/operational complete and modular method of specification for processing systems can be derived. The modules are able to describe separately the liveness and, respectively, safety properties of the systems. The ``core concept introduced here is the so-called bent algebra (and, in fact, also the bent logic). The criticism of other existing time-dependent formalisms for analysing concurrent systems is ``tough: ``As a conclusion, bent algebra is more general, more expressive and much easier to handle than temporal logics; only by ``extending time to infinity we can construct a bridge from temporal logic to bent logic.

Recommendations

• Some generalizations of the calculus of binary events
• Publication:4733377
• scientific article; zbMATH DE number 218548

Cites work

• Defining liveness
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Outline of a Theory of Truth
• Specifying Concurrent Program Modules
• The ``Hoare Logic of CSP, and All That

Cited in

(5)

• Some generalizations of the calculus of binary events
• Logic of simultaneity
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 563126 (Why is no real title available?)
• Events and time in a finite and closed world

This page was built for publication: Time and logic: A calculus of binary events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1805011)