000 04208cam a2200685 i 4500
001 on1100589108
003 OCoLC
005 20241121072743.0
006 m d
007 cr mn|||||||||
008 190509t20192019enka ob 001 0 eng
040 _aLGG
_beng
_erda
_epn
_cLGG
_dCAMBR
_dUKAHL
_dEBLCP
_dN$T
_dYDX
_dOSU
_dOCLCQ
_dCNO
_dOCLCQ
_dSFB
_dOCLCQ
_dK6U
_dOCLCO
_dOCLCQ
019 _a1101102118
_a1103320874
_a1168457964
020 _a9781108348034
_q(electronic bk.)
020 _a1108348033
_q(electronic bk.)
020 _a9781108661102
_q(electronic bk.)
020 _a1108661106
_q(electronic bk.)
020 _z9781108424912
_q(hardcover ;
_qalk. paper)
020 _z1108424910
_q(hardcover ;
_qalk. paper)
035 _a2091112
_b(N$T)
035 _a(OCoLC)1100589108
_z(OCoLC)1101102118
_z(OCoLC)1103320874
_z(OCoLC)1168457964
050 4 _aQA9
_b.A78 2019eb
072 7 _aMAT
_x000000
_2bisacsh
082 0 4 _a511.3
_223
049 _aMAIN
100 1 _aArtemov, S. N.,
_eauthor.
_911423
245 1 0 _aJustification logic :
_breasoning with reasons /
_cSergei Artemov, Graduate Center, City University of New York ; Melvin Fitting, Graduate Center, City University of New York
264 1 _aCambridge ;
_aNew York, NY :
_bCambridge University Press,
_c2019
264 4 _c�2019
300 _a1 online resource (xxi, 247 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aCambridge tracts in mathematics ;
_v216
520 _aClassical logic is concerned, loosely, with the behaviour of truths. Epistemic logic similarly is about the behaviour of known or believed truths. Justification logic is a theory of reasoning that enables the tracking of evidence for statements and therefore provides a logical framework for the reliability of assertions. This book, the first in the area, is a systematic account of the subject, progressing from modal logic through to the establishment of an arithmetic interpretation of intuitionistic logic. The presentation is mathematically rigorous but in a style that will appeal to readers from a wide variety of areas to which the theory applies. These include mathematical logic, artificial intelligence, computer science, philosophical logic and epistemology, linguistics, and game theory
504 _aIncludes bibliographical references and index
505 0 _aWhy justification logic? -- The basics of justification logic -- The ontology of justifications -- Fitting models -- Sequents and tableaus -- Realization: how it began -- Realization: generalized -- The range of realization -- Arithmetical completeness and BHK semantics -- Quantifiers in justification logic -- Going past modal logic
588 0 _aPrint version record
590 _aWorldCat record variable field(s) change: 650
650 0 _aLogic
_xSymbolic and mathematical.
_911424
650 0 _aInquiry (Theory of knowledge)
_911425
650 0 _aScience
_xTheory reduction.
_911426
650 0 _aReasoning.
_98354
650 7 _aMATHEMATICS
_xGeneral.
_2bisacsh
_911427
650 7 _aInquiry (Theory of knowledge)
_2fast
_0(OCoLC)fst00973795
_911425
650 7 _aLogic, Symbolic and mathematical.
_2fast
_0(OCoLC)fst01002068
_911428
650 7 _aReasoning.
_2fast
_0(OCoLC)fst01091282
_98354
650 7 _aScience
_xTheory reduction.
_2fast
_0(OCoLC)fst01108508
_911426
655 4 _aElectronic books.
_93907
700 1 _aFitting, Melvin,
_d1942-
_eauthor.
_911429
776 0 8 _iElectronic reproduction of (manifestation):
_aArtemov, S.N.
_tJustification logic.
_dCambridge ; New York, NY : Cambridge University Press, 2019
_z9781108424912
_w(DLC) 2018058431
_w(OCoLC)1061817253
830 0 _aCambridge tracts in mathematics ;
_v216.
_911430
856 4 0 _3EBSCOhost
_uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=2091112
938 _aAskews and Holts Library Services
_bASKH
_nAH37001700
938 _aAskews and Holts Library Services
_bASKH
_nAH36227277
938 _aProQuest Ebook Central
_bEBLB
_nEBL5780848
938 _aEBSCOhost
_bEBSC
_n2091112
938 _aYBP Library Services
_bYANK
_n15306879
994 _a92
_bN$T
999 _c7076
_d7076