---

Benefiting researchers and graduate students involved in mathematical logic, this book opens with a detailed theory of reactive Kripke semantics in the first seven chapters, followed by five chapters demonstrating applications in a variety of areas.

---

This book focuses on the challenges and changes that new technologies bring to human resources (HR) of modern organizations. It examines the technological implications of the last changes taking place and how they affect the management and motivation of human resources belonging to these organizations. It looks for ways to understand and perceive how organizational HR, individually and as a team, conceptualize, invent, adapt, define and use organizational technology, as well as how they are constrained by features of it. The book provides discussion and the exchange of information on principles, strategies, models, techniques, methodologies and applications of human resources management and technological challenges and changes in the field of industry, commerce and services.

---

HRM politics and practices.- Technological impact and consequences in HRM.- Communication, participation and involvement.- Equal opportunities.- Health and safety.- How work is changing.- Matching human and technological needs.- Motivating people in a technological environment.- Knowledge management in the new technologies era.- Developing leadership skills.- Global management.- Matching human and technological needs.- Strategic management.- Innovation and change.- Entrepreneurship.- Employee motivation.- Learning skills and styles in technology innovation.- Training effectiveness.

---