000 03198nam a22003858i 4500
001 CR9780511981418
003 UkCbUP
005 20200124160236.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 101018s2011||||enk o ||1 0|eng|d
020 _a9780511981418 (ebook)
020 _z9780521149341 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 4 _aBC128
_b.M36 2011
082 0 4 _a511.3
_222
100 1 _aMann, Allen L.
_q(Allen Lawrence),
_eauthor.
245 1 0 _aIndependence-friendly logic :
_ba game-theoretic approach /
_cAllen L. Mann, Gabriel Sandu, Merlijn Sevenster.
264 1 _aCambridge :
_bCambridge University Press,
_c2011.
300 _a1 online resource (vi, 208 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aLondon Mathematical Society lecture note series ;
_v386
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 0 _aMachine generated contents note:
_g1.
_tIntroduction --
_g2.
_tGame theory --
_g2.1.
_tExtensive games --
_g2.2.
_tStrategic games --
_g3.
_tFirst-order logic --
_g3.1.
_tSyntax --
_g3.2.
_tModels --
_g3.3.
_tGame-theoretic semantics --
_g3.4.
_tLogical equivalence --
_g3.5.
_tCompositional semantics --
_g3.6.
_tSatisfiability --
_g4.
_tIndependence-friendly logic --
_g4.1.
_tSyntax --
_g4.2.
_tGame-theoretic semantics --
_g4.3.
_tSkolem semantics --
_g4.4.
_tCompositional semantics --
_g4.5.
_tGame-theoretic semantics redux --
_g5.
_tProperties of IF logic --
_g5.1.
_tBasic properties --
_g5.2.
_tExtensions of IF logic --
_g5.3.
_tLogical equivalence --
_g5.4.
_tModel theory --
_g6.
_tExpressive power of IF logic --
_g6.1.
_tDefinability --
_g6.2.
_tSecond-order logic --
_g6.3.
_tExistential second-order logic --
_g6.4.
_tPerfect recall --
_g7.
_tProbabilistic IF logic --
_g7.1.
_tEquilibrium semantics --
_g7.2.
_tMonotonicity rules --
_g7.3.
_tBehavioral strategies and compositional semantics --
_g7.4.
_tElimination of strategies --
_g7.5.
_tExpressing the rationals --
_g8.
_tFurther topics --
_g8.1.
_tCompositionality --
_g8.2.
_tIF modal logic.
520 _aBringing 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.
650 0 _aFirst-order logic.
650 0 _aGame theory.
700 1 _aSandu, Gabriel,
_eauthor.
700 1 _aSevenster, Merlijn,
_eauthor.
776 0 8 _iPrint version:
_z9780521149341
830 0 _aLondon Mathematical Society lecture note series ;
_v386.
856 4 0 _uhttps://doi.org/10.1017/CBO9780511981418
999 _c518122
_d518120