Cargando…

Independence-friendly logic : a game-theoretic approach /

Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book push...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mann, Allen L. (Allen Lawrence)
Otros Autores: Sandu, Gabriel, Sevenster, Merlijn
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2011.
Colección:London Mathematical Society lecture note series ; 386.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBSCO_ocn728157655
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 110602s2011 enk ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d E7B  |d OUN  |d OCLCQ  |d REDDC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d YDXCP  |d OCLCO  |d AUD  |d OCLCF  |d OCLCQ  |d CNCGM  |d UAB  |d OCLCQ  |d INT  |d OCLCQ  |d AU@  |d OCLCQ  |d S8J  |d LUN  |d OCLCQ  |d OCLCO  |d OCLCQ  |d UKAHL  |d QGK  |d OCLCO  |d OCLCQ 
015 |a GBB0E2199  |2 bnb 
019 |a 776973738  |a 855729299  |a 1090363811  |a 1167608727  |a 1259113592 
020 |a 9781139077989  |q (electronic bk.) 
020 |a 1139077988  |q (electronic bk.) 
020 |a 9781139080279 
020 |a 113908027X 
020 |a 9780511981418  |q (ebook) 
020 |a 0511981414  |q (ebook) 
020 |z 9780521149341 
020 |z 0521149347 
020 |a 1107213398 
020 |a 9781107213395 
020 |a 1283112531 
020 |a 9781283112536 
020 |a 1139075721 
020 |a 9781139075725 
020 |a 9786613112538 
020 |a 6613112534 
020 |a 1139082558 
020 |a 9781139082556 
020 |a 1139069969 
020 |a 9781139069960 
029 1 |a DEBSZ  |b 372601766 
035 |a (OCoLC)728157655  |z (OCoLC)776973738  |z (OCoLC)855729299  |z (OCoLC)1090363811  |z (OCoLC)1167608727  |z (OCoLC)1259113592 
050 4 |a BC128  |b .M36 2011eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
100 1 |a Mann, Allen L.  |q (Allen Lawrence) 
245 1 0 |a Independence-friendly logic :  |b a game-theoretic approach /  |c Allen L. Mann, Gabriel Sandu, Merlijn Sevenster. 
246 1 4 |a Combinatorics, geometry and probability 
260 |a Cambridge ;  |a New York :  |b Cambridge University Press,  |c 2011. 
300 |a 1 online resource (vi, 208 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a London Mathematical Society lecture note series ;  |v 386 
504 |a Includes bibliographical references (pages 198-202) and index. 
588 0 |a Print version record. 
505 0 0 |g Machine generated contents note:  |g 1.  |t Introduction --  |g 2.  |t Game theory --  |g 2.1.  |t Extensive games --  |g 2.2.  |t Strategic games --  |g 3.  |t First-order logic --  |g 3.1.  |t Syntax --  |g 3.2.  |t Models --  |g 3.3.  |t Game-theoretic semantics --  |g 3.4.  |t Logical equivalence --  |g 3.5.  |t Compositional semantics --  |g 3.6.  |t Satisfiability --  |g 4.  |t Independence-friendly logic --  |g 4.1.  |t Syntax --  |g 4.2.  |t Game-theoretic semantics --  |g 4.3.  |t Skolem semantics --  |g 4.4.  |t Compositional semantics --  |g 4.5.  |t Game-theoretic semantics redux --  |g 5.  |t Properties of IF logic --  |g 5.1.  |t Basic properties --  |g 5.2.  |t Extensions of IF logic --  |g 5.3.  |t Logical equivalence --  |g 5.4.  |t Model theory --  |g 6.  |t Expressive power of IF logic --  |g 6.1.  |t Definability --  |g 6.2.  |t Second-order logic --  |g 6.3.  |t Existential second-order logic --  |g 6.4.  |t Perfect recall --  |g 7.  |t Probabilistic IF logic --  |g 7.1.  |t Equilibrium semantics --  |g 7.2.  |t Monotonicity rules --  |g 7.3.  |t Behavioral strategies and compositional semantics --  |g 7.4.  |t Elimination of strategies --  |g 7.5.  |t Expressing the rationals --  |g 8.  |t Further topics --  |g 8.1.  |t Compositionality --  |g 8.2.  |t IF modal logic. 
520 |a Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs. 
546 |a English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a First-order logic. 
650 0 |a Game theory. 
650 2 |a Game Theory 
650 6 |a Logique du premier ordre. 
650 6 |a Théorie des jeux. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a First-order logic.  |2 fast  |0 (OCoLC)fst00925803 
650 7 |a Game theory.  |2 fast  |0 (OCoLC)fst00937501 
700 1 |a Sandu, Gabriel. 
700 1 |a Sevenster, Merlijn. 
776 0 8 |i Print version:  |t Combinatorics, Geometry and Probability.  |d Cambridge Univ Pr 2011  |z 9780521149341  |w (OCoLC)694393901 
830 0 |a London Mathematical Society lecture note series ;  |v 386. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=366121  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH13438658 
938 |a ebrary  |b EBRY  |n ebr10469106 
938 |a EBSCOhost  |b EBSC  |n 366121 
938 |a YBP Library Services  |b YANK  |n 5690236 
938 |a YBP Library Services  |b YANK  |n 6300876 
938 |a YBP Library Services  |b YANK  |n 6918200 
938 |a YBP Library Services  |b YANK  |n 6943981 
994 |a 92  |b IZTAP