Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.

Until recently, mostsoftwareapplications and technologiesweredeveloped wi- out much thought to how they in?uenced their users. This perspective is cha- ing.Today, industryexpertsandacademicsareembracingapurposefulapproach to persuasive design. In an industry context, designing for persuasion is bec- ingessentialforsuccess.Inacademicsettings, thestudyofpersuasivetechnology illuminates the principles that in?uence and motivate people in di?erent aspects of their lives. Persuasive technology is rapidly growing into a major discipline, sometimes referred to as captology or the study of computers as persuasive technologies. The previous Persuasive conferences held in Eindhoven (2006) and Stanford (2007) were infused with an energetic spirit and a large attendance, including representatives from both academia and industry. Persuasive 2008, hosted in Oulu, Finland in early June, was jointly or- nized by the University of Oulu, Finland and Aalborg University, Denmark. The northern location of Oulu, only some two hours away from the Arctic Circle, o?ers sunlight 24 hours a day, allowing conference participants to experience the midnight sun. This three-day conference placed persuasive technology on a ?rm scienti?c footing with an emphasis on social, psychological, rhetorical and ethical issues. Featuring full and short papers, posters and panels, Persuasive2008 highlighted new knowledge in the understanding and design of persuasive technology. The event brought together researchers, practitioners, and industry professionals - terested in this important new ?eld. Research themes of the conference included motivationaltechnology, persuasivegames, smartenvironments, Web2.0, mobile persuasion, well-being and health behavior. In addition, attendees and part- ipants explored the theory and ethics of persuasive technology, social and - ganizational issues, business models for persuasive systems, and conceptual and theoretical appro

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book.