The philosophical inquiry of Arthur Prior (1914-1969) has involved topics ranging from formal logics to ethics, while giving crucial contributions in modal logic, metaphysics, and the philosophy of time. Prior is considered the father of temporal logic and a forerunner of both current hybrid logic and Kripke's possible worlds semantics; also, he has supported a refined and go-ahead version of actualism, which is in turn grounded on a specific view on the relation between existence, facts and truth. Prior's approach to philosophy has been highly sensitive to the traditional questions in metaphysics and ontology, and at the same time has laid the grounds of new areas of research in modal logic. This entry aims at presenting and discussing some of Prior's most important contributions to philosophy and their relevance. In particular, the entry presents and discuss branching-time semantics and their application to the problem of determinism, hybrid logics and the reduction of instants to propositions, the modal logic Q and the problem of predication about contingently non-existing individuals. Arthur Prior (1914-1969) si è occupato di temi che spaziano dalla logica formale all'etica, ed ha fornito contributi di grandissima importanza soprattutto nell'ambito della logica modale, della metafisica, e della filosofia del tempo. E' considerato il padre della logica temporale e il precursore della contemporanea logica ibrida, è stato un precursore della semantica a mondi possibili di Saul Kripke, e il sostenitore di una forma raffinata e davvero audace di attualismo, a sua volta fondata su una precisa concezione dei rapporti fra esistenza, fatti e verità. Il suo approccio alla filosofia è stato molto attento alle grandi questioni tradizionali di metafisica e ontologia, ma allo stesso tempo ha gettato le basi di nuovi ambiti d'investigazione in logica modale. Il presente profilo si propone di presentare e discutere alcuni fra i suoi contributi più importanti e la loro rilevanza filosofica. In particolare, presenta e discute le semantiche per il branching time e la loro relazione con il problema del determinismo, le logiche ibride e la riduzione degli istanti a proposizioni, la logica Q e il problema della predicazione su individui contingentemente non esistenti.
