Abstract | ||
---|---|---|
Interval logic has been introduced as a temporal logic that provides higher-level constructs and an intuitive graphical representation, making it easier in interval logic than in other temporal logics to specify and reason about concurrency in software and hardware designs. In this paper we present axiomatizations for two propositional interval logics and relate these logics to Until Temporal Logic. All of these logics are discrete linear-time temporal logics with no next operator. The next operator obstructs the use of hierarchical abstraction and refinement, and makes reasoning about concurrency difficult. |
Year | DOI | Venue |
---|---|---|
1995 | 10.3233/FI-1995-2441 | Fundam. Inform. |
Keywords | Field | DocType |
hierarchical abstraction,propositional interval logic,next operator,temporal logic,interval logics,present axiomatizations,hardware design,discrete linear-time temporal logic,intuitive graphical representation,higher-level construct,interval logic | Computation tree logic,Discrete mathematics,T-norm fuzzy logics,Łukasiewicz logic,Interval temporal logic,Theoretical computer science,Non-monotonic logic,Classical logic,Monoidal t-norm logic,Mathematics,Intermediate logic | Journal |
Volume | Issue | Citations |
24 | 4 | 5 |
PageRank | References | Authors |
0.69 | 13 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
G. Kutty | 1 | 143 | 13.89 |
L.E. Moser | 2 | 10 | 1.32 |
P.M. Melliar-Smith | 3 | 10 | 1.32 |
Y.S. Ramakrishna | 4 | 10 | 1.66 |
Laura K. Dillon | 5 | 497 | 70.70 |