LEADER 01246nam2-2200397li-450 001 990000120920203316 005 20180312154818.0 010 $a0-07-033457-9 035 $a0012092 035 $aUSA010012092 035 $a(ALEPH)000012092USA01 035 $a0012092 100 $a20001109d1980----km-y0itay0103----ba 101 0 $aeng 102 $aUS 200 1 $aConvective heat and mass transfer$fW. M. Kays, M. E. Crawford 205 $a2nd ed 210 $aNew York [etc.]$cMcGraw-Hill$dcopyr. 1980 215 $aXXVIII, 420 p.$cgraf., tab.$d24 cm 225 2 $aMcGraw-Hill classic texbook reissue series$v0 410 0$10010012091$12001$aMcGraw-Hill classic texbook reissue series 610 1 $acalore trasmissione 676 $a53625$9x 700 1$aKays,$bWilliam Morrow$052589 702 1$aCrawford,$bMichael E. 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000120920203316 951 $a621.402 2 KAY (A)$b0000823 959 $aBK 969 $aTEC 979 $c19910408 979 $c20001110$lUSA01$h1711 979 $c20020403$lUSA01$h1619 979 $aPATRY$b90$c20040406$lUSA01$h1609 996 $aConvective heat and mass transfer$9128019 997 $aUNISA LEADER 05016oam 22006493 450 001 9910132225003321 005 20250628110026.0 010 $b(eBook) 010 $b(eBook) 010 $b(hardback) 010 $b(hardback) 024 7 $a10.1007/978-3-319-01754-9 035 $a(CKB)3710000000094967 035 $a(SSID)ssj0001187397 035 $a(PQKBManifestationID)11675264 035 $a(PQKBTitleCode)TC0001187397 035 $a(PQKBWorkID)11257108 035 $a(PQKB)10100215 035 $a(OCoLC)875905355 035 $a(MiAaPQ)EBC3071471 035 $a(DE-He213)978-3-319-01754-9 035 $a(MiAaPQ)EBC6422626 035 $a(Au-PeEL)EBL6422626 035 $a(ODN)ODN0010072246 035 $a(EXLCZ)993710000000094967 100 $a20140321d2014 uy 0 101 0 $aeng 135 $aurmn#nnn||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNuel Belnap on indeterminism and free action /$fedited by Thomas Müller 205 $a1st ed. 2014. 210 $d2014 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (vi, 411 pages) $cillustrations 225 1 $aOutstanding Contributions to Logic,$x2211-2758 311 08$aPrint version: 9783319017532 320 $aIncludes bibliographical references at the end of each chapters. 327 $aIntroduction: The many branches of Belnap?s knowledge; Müller, Thomas -- Decisions in branching time; Bartha; Paul -- Internalizing case-relative truth in CIFOL+; Belnap, Nuel -- A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes; Broersen, Jan -- Worlds Enough, and Time: Musings on Foundations; Brown, Mark -- Open Futures in the Foundations of Propositional Logic; Garson, James W -- On Saying What Will Be; Green, Mitchell -- The Intelligibility Question For Free Will: Agency, Choice And Branching Time; Kane, Robert -- What William of Ockham and Luis de Molina would have said to Nuel Belnap: A Discussion of some Arguments Against ?The Thin Red Line?; Øhrstrøm, Peter -- Branching for general relativists; Placek, Tomasz -- Some examples formulated in a `seeing to it that' logic: Illustrations, observations, problems; Sergot, Marek -- In Retrospect: Can BST models be reinterpreted for what decisions, speciation events and ontogeny might have in common?; Strobach, Niko -- Theory of Possible Ancestry in the Style of Nuel Belnap?s Branching Space-Time; Pleitz, Martin and Strobach, Niko.-Connecting Logics of Choice and Change; van Benthem, Johan and Pacuit, Eric -- Intentionality and Minimal Rationality in the Logic of Action; Vanderveken; Daniel -- Group Strategies and Independence; Xu, Ming -- Interview with Nuel Belnap. 330 $aThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap?s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap?s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap?s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the ?seeing to it that? (stit) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap?s. The volume also contains an extended biographical interview with Nuel Belnap. 410 0$aOutstanding Contributions to Logic,$x2211-2758 ;$v2 606 $aFree will and determinism 606 $aPhilosophy, American$y20th century 615 0$aFree will and determinism. 615 0$aPhilosophy, American 676 $a123.5 686 $aPHI011000$aPHI013000$aSCI075000$2bisacsh 700 $aMu?ller$b Thomas$00 702 $aMu?ller$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 801 2$bUkMaJRU 912 $a9910132225003321 996 $aNuel Belnap on Indeterminism and Free Action$94304500 997 $aUNINA