temporal logic

system for representing and reasoning about time

en-GB/ˈtɛmpəɹəl ˈlɒd͡ʒɪk/
en-US/ˈtɛmpəɹəl ˈlɑd͡ʒɪk/

ক্যাটাগরি:

mathematical logic