Tidslogikken i historisk perspektiv

Det var først og fremmest A. N. Prior (1914-69), som stod for genoplivningen af tidslogikken inden for moderne logik. Priors bøger er vanskeligt tilgængelige, bl.a. fordi han i de logiske formler benyttede såkaldt polsk notation, som nu stort set ikke benyttes længere. Målet med projektet er derfor for det første i samarbejde med Oxford University Press (OUP) at genudgive Priors værker i et moderne format. For det andet har projektet til formål at undersøge den moderne tidslogiks potentiale især i forhold til de IT-anvendelser og at belyse tidslogikkens historie i almindelighed. Projektet foregår til dels i samarbejde med PhiLog-projektet (www.philog.ruc.dk), som støttes af SHF.