Tags
Language
Tags
June 2025
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 1 2 3 4 5
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz

    Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Amsterdam University Press - Texts in Logi

    Posted By: lengen
    Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Amsterdam University Press - Texts in Logi

    Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (Amsterdam University Press - Texts in Logic and Games) by Johan van Benthem
    English | Nov. 15, 2008 | ISBN: 9053563563 | 363 Pages | PDF | 3 MB

    Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory.