Algebraic neighbourhood logic (Q929966)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic neighbourhood logic |
scientific article |
Statements
Algebraic neighbourhood logic (English)
0 references
19 June 2008
0 references
neighbourhood logic
0 references
semiring
0 references
lazy semiring
0 references
hybrid system
0 references
CTL\(^{*}\)
0 references
Allen's interval relations
0 references
0 references
0 references
