area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management, whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a boundary; at least one of them is relevant, from a very abstract perspective, to all three areas. We say a few words about each of the individual chapters, to relate them to each other and the general outlook of the volume. Modal Logics The ?rst bundle of papers in this volume contains contribution to modal logic. Three of them examine general problems that arise for all kinds of modal logics. The ?rst paper is essentially semantical in its approach, the second proof-theoretic, the third semantical again: Commutativity of quanti?ers in varying-domain Kripke models, by R. Goldblatt and I. Hodkinson, investigates the possibility of com- tation (i.e. reversing the order) for quanti?ers in ?rst-order modal logics interpreted over relational models with varying domains. The authors study a possible-worlds style structural model theory that does not v- idate commutation, but satis?es all the axioms originally presented by Kripke for his familiar semantics for ?rst-order modal logic."

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences. Specifically designed for the student who is intimidated by mathematics, the book offers a concise treatment in an engaging style. The thoroughly revised third edition features a new chapter on relevance-sensitivity in logical reasoning and many additional explanations on points that students find puzzling, including the rationale for various shorthand ways of speaking and 'abuses of language' that are convenient but can give rise to misunderstandings. Solutions are now also provided for all exercises. Topics and features: presents an intuitive approach, emphasizing how finite mathematics supplies a valuable language for thinking about computation; discusses sets and the mathematical objects built with them, such as relations and functions, as well as recursion and induction; introduces core topics of mathematics, including combinatorics and finite probability, along with the structures known as trees; examines propositional and quantificational logic, how to build complex proofs from simple ones, and how to ensure relevance in logic; addresses questions that students find puzzling but may have difficulty articulating, through entertaining conversations between Alice and the Mad Hatter; provides an extensive set of solved exercises throughout the text. This clearly-written textbook offers invaluable guidance to students beginning an undergraduate degree in computer science. The coverage is also suitable for courses on formal methods offered to those studying mathematics, philosophy, linguistics, economics, and political science. Assuming only minimal mathematical background, it is ideal for both the classroom and independent study.

area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management, whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a boundary; at least one of them is relevant, from a very abstract perspective, to all three areas. We say a few words about each of the individual chapters, to relate them to each other and the general outlook of the volume. Modal Logics The ?rst bundle of papers in this volume contains contribution to modal logic. Three of them examine general problems that arise for all kinds of modal logics. The ?rst paper is essentially semantical in its approach, the second proof-theoretic, the third semantical again: Commutativity of quanti?ers in varying-domain Kripke models, by R. Goldblatt and I. Hodkinson, investigates the possibility of com- tation (i.e. reversing the order) for quanti?ers in ?rst-order modal logics interpreted over relational models with varying domains. The authors study a possible-worlds style structural model theory that does not v- idate commutation, but satis?es all the axioms originally presented by Kripke for his familiar semantics for ?rst-order modal logic."

Set in the cultural twilight between the conservative 1950s and the liberating sunshine of the late 1960s, Just a One Night Stand tells the emotive story of unmarried Marion McKenzie who, at nineteen, becomes pregnant during a drunken one night stand with Martin Corrigan, a Somerset farmer's son. Unaware of his paternity, Martin goes up to Cambridge University. Once she realises she is pregnant, Marion is forced to confess her plight to her fiance, Simon Thompson. Furious at her infidelity and unwilling to father another man's child, he gives her an ultimatum... him or the baby. Too afraid of her divorced father's reaction to confide in him, and unwilling to trust her mother not to tell him, Marion turns to her elder sister, Gemma. She reluctantly agrees to allow Marion to live with her in London until after the baby is born. Marion plans to have her baby adopted - until he is born with a serious medical complication. What will Marion do? Just a One Night Stand deftly propels the reader back to a time without extensive state support - a time characterised by entirely different social mores from liberal 21st century Britain. For Marion, the 1960s were anything but swinging

This is a new edition of Gardenfors' classic text, presented to the community with a Foreword by David Makinson and an appendix containing a paper "Relations between the logic of theory change and nonmonotonic logic" by the author and David Makinson. The following describes the first edition: Knowledge in Flux presents a theory of rational changes of belief, focusing on revisions that occur when the agent receives new information that is inconsistent with the present epistemic state. It brings together, systematises and enlarges upon an already influential body of work by the author and his colleagues on the dynamics of theories and epistemic states. The problem of knowledge representation is one of the most important current research problems in philosophy, artificial intelligence, and cognitive science in general. While most of the research has been devoted to analysing the structure of epistemic states, this book is unique in describing the dynamics of knowledge and belief, and in presenting models of knowledge that focus on expansions, revisions, and contractions of epistemic states. "Knowledge in Flux is sure to be widely recognised as the most important systematic contribution to these issues yet made." David J. Israel, Senior Computer Scientist, SRI International Peter Gardenfors is a Professor in Cognitive Science at Lund University.