Buy Me a Coffee at ko-fi.com

Temporal logic

System for representing and reasoning about time

Pronunciation
/ˈtɛmpərəl ˈlɑʤɪk/
/ˈtɛmpərəl ˈlɒʤɪk/
Categories
mathematical logic