Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

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...


“samson abramsky”

Showing 1 - 12 of 12 results for “samson abramsky”
Skip side bar filters

  • Dependence Logic

    Theory and Applications

    Edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer ...
    In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write ... Read more

    $49.99 USD

People who read this also enjoyed

  • One Hundred Prisoners and a Light Bulb

    by Hans van Ditmarsch, Barteld Kooi ...
    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

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    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

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    by Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    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.09 USD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $89.09 USD

  • Hybrid Logic and its Proof-Theory

    by Torben Braüner ...
    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.99 USD

  • David Makinson on Classical Methods for Non-Classical Problems

    Edited by Sven Ove Hansson ...
    Series series Philosophy and Religion (R0)
    The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its ... Read more

    $143.09 USD

  • Truth and Falsehood

    An Inquiry into Generalized Logical Values

    by Yaroslav Shramko, Heinrich Wansing ...
    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

  • The Argument of Mathematics

    Edited by Andrew Aberdein, Ian J Dove ...
    Series series Philosophy and Religion (R0)
    Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of ... Read more

    $89.09 USD

  • Conditionals and Modularity in General Logics

    by Dov M. Gabbay, Karl Schlechta ...
    Series series Computer Science (R0)
    This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity ... Read more

    $89.09 USD

  • Rohit Parikh on Logic, Language and Society

    Edited by Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam ...
    Series series Philosophy and Religion (R0)
    This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research.This volume is part of Springer’s book series ... Read more

    $98.09 USD

  • Proof, Computation and Agency

    Logic at the Crossroads

    Edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh ...
    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