Loighic ama

Sa loighic, is é atá i gceist le loighic ama ná aon chóras rialacha agus siombalachais chun tairiscintí cáilithe i dtéarmaí ama a léiriú, agus réasúnú a dhéanamh fúthu (mar shampla, "tá ocras orm i gcónaí ", "Beidh ocras orm ar deireadh ", nó "Beidh ocras orm go dtí go n - íosfaidh mé rud éigin "). Uaireanta úsáidtear í freisin chun tagairt a dhéanamh do loighic aimsire, córas módúil loighic -bhunaithe de loighic ama a thug Arthur Prior isteach go déanach sna 1950idí, le ranníocaíochtaí tábhachtacha ó Hans Kamp. Tá tuilleadh forbartha déanta uirthi ag ríomheolaithe, go háirithe Amir Pnueli, agus loighceoirí.