Maarten de Rijke

Yde Venema

Patrick Blackburn

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.

Modal Logic

Chiara Ghidini

Fausto Giunchiglia

Roy M. Turner

The refereed proceedings of the 4th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2003, held in Stanford, CA, USA in June 2003. The 31 full papers and 15 short papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers presented deal with the interdisciplinary topic of modeling and using context from various points of view, ranging through cognitive science, formal logic, artifical intelligence, computational intelligence, philosophical and psychological aspects, and information processing. Highly general philosophical and theoretical issues are complemented by specific applications in various fields.

4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings

Modeling and Using Context

Richard Dapoigny

Patrick Brézillon

This book constitutes the proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2013, held in Annecy, France, in October/November 2013. The 23 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. In addition the book contains two keynote speeches and 9 poster papers. They cover cutting-edge results from the wide range of disciplines concerned with context, including: Cognitive Sciences (Linguistics, Psychology, Computer Science, Neuroscience), and computer science (artificial intelligence, logics, ubiquitous and pervasive computing, context-awareness systems), and the Social Sciences and Organizational Sciences, as well as the Humanities and all application areas, including Medicine and Law.

8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings

Emiliano Lorini

Meiyun Guo

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning.

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Logic, Rationality, and Interaction

Frank Wolter

Johan F.A.K. van Benthem

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth

Handbook of Modal Logic

Graph. Darst

Cupid Missed is the story of a breakup, told from a man's perspective.Matthew is crushed when he returns home from work one night to find that his girlfriend, Kate, has moved out. He hadn't seen it coming, and he isn't handling it very well. His friends tell him to “Go out, get laid, and get over it,” but he finds the advice easier said than done. When he's not concocting far-fetched schemes to get Kate back, Matthew is making terrible decisions at home and at work. He realizes the need to make changes in his life, but it seems he's more interested in doing things that only prolong the agony.Finally, in a desperate attempt to regain control of his life, Matthew quits his job and jumps on a plane to Europe for a pilgrimage of self-discovery. The result, according to author Ruth Francisco, is a “Dantesque journey to recovery (that) sends him on a hilarious journey into the sordid dens of debauchery in Amsterdam and Ibiza, where a guru in the guise of an Ecstasy-addled English girl teaches him life's lessons.”While it's clear that Cupid's first arrow has hit Matthew squarely in the chest, the second arrow, meant for Kate, has missed wide right. Cupid Missed wryly explores the before and after of a relationship gone bad, and the steps, and missteps, Matthew takes to get over Kate.

Patrick Blackburn

Books

Your next favorite book is out there