Skip to main content

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...
  • Epistemic Game Theory

    Series series Elements in Decision Theory and Philosophy
    This Element situates epistemic game theory at the intersection of decision theory, game theory, and interactive epistemology. It provides an overview and a critical assessment of some of the most classical results and contributions in the field: the epistemic characterization of Nash equilibrium, the epistemic interpretation of mixed actions, rationalizability in static games, and sub-game ... Read more

    $20.99 USD

  • Neighborhood Semantics for Modal Logic

    by Eric Pacuit ...
    Series series Philosophy and Religion (R0)
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic ... Read more

    $40.49 USD

  • At the Intersection of Language, Logic, and Information

    ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers

    Edited by Jennifer Sikos, Eric Pacuit ...
    Series series Springer Nature Proceedings Computer Science
    The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation.The 14 papers presented in this volume have been selected among ... Read more

    $49.99 USD

  • Games, Norms and Reasons

    Logic at the Crossroads

    Series series Philosophy and Religion (R0)
    Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic ... Read more

    $89.99 USD

People who read these also enjoyed

  • Hybrid Logic and its Proof-Theory

    Series series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... Read more

    $89.09 USD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    Series series Mathematics and Statistics (R0)
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a ... Read more

    $89.09 USD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $116.99 USD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Series Book 352 - Synthese Library
    Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social ... Read more

    $143.99 USD

  • J. Michael Dunn on Information Based Logics

    Edited by Katalin Bimbo ...
    Series series Philosophy and Religion (R0)
    This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned ... Read more

    $89.99 USD

  • Dag Prawitz on Proofs and Meaning

    Edited by Heinrich Wansing ...
    Series series Philosophy and Religion (R0)
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main ... Read more

    $89.99 USD

  • Set Theory

    With an Introduction to Real Point Sets

    Series series Mathematics and Statistics (R0)
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $80.99 USD

  • One Hundred Prisoners and a Light Bulb

    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $18.99 USD