Temporal logics are traditionally interpreted in terms of Kripke structures.
Οι χρονικές λογικές συνήθως ερμηνεύονται με δομές Κρίπκε.