Besonderhede van voorbeeld: -5258376340420908922

Greek

Οι χρονικές λογικές συνήθως ερμηνεύονται με δομές Κρίπκε.

Spanish

Las lógicas temporales son interpretadas tradicionalmente en términos de estructuras de Kripke.