A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time (Q4275691)
From MaRDI portal
scientific article; zbMATH DE number 487148
Language | Label | Description | Also known as |
---|---|---|---|
English | A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time |
scientific article; zbMATH DE number 487148 |
Statements
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time (English)
0 references
1 February 1994
0 references
propositional linear temporal logic with discrete time
0 references
precedence
0 references
posteriority
0 references
simultaneity
0 references
semantics
0 references
specification and control of process behaviour in discrete time
0 references
Separation Theorem
0 references
LN3
0 references