Matches in SemOpenAlex for { <https://semopenalex.org/work/W4211092209> ?p ?o ?g. }
- W4211092209 abstract "Classical 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." @default.
- W4211092209 created "2022-02-13" @default.
- W4211092209 creator A5075172069 @default.
- W4211092209 creator A5086117892 @default.
- W4211092209 date "2019-04-25" @default.
- W4211092209 modified "2023-09-29" @default.
- W4211092209 title "Justification Logic" @default.
- W4211092209 cites W1494976167 @default.
- W4211092209 cites W1520754358 @default.
- W4211092209 cites W1528233644 @default.
- W4211092209 cites W1755487133 @default.
- W4211092209 cites W1966129247 @default.
- W4211092209 cites W1968710686 @default.
- W4211092209 cites W1970335703 @default.
- W4211092209 cites W1970962608 @default.
- W4211092209 cites W1971637759 @default.
- W4211092209 cites W1980308847 @default.
- W4211092209 cites W1981294086 @default.
- W4211092209 cites W1981979308 @default.
- W4211092209 cites W1984799723 @default.
- W4211092209 cites W1989034894 @default.
- W4211092209 cites W1991386049 @default.
- W4211092209 cites W1992064866 @default.
- W4211092209 cites W1994227541 @default.
- W4211092209 cites W1995718667 @default.
- W4211092209 cites W2002106559 @default.
- W4211092209 cites W2004550536 @default.
- W4211092209 cites W2009552408 @default.
- W4211092209 cites W2031962352 @default.
- W4211092209 cites W2036565723 @default.
- W4211092209 cites W2041010580 @default.
- W4211092209 cites W2043468053 @default.
- W4211092209 cites W2043566933 @default.
- W4211092209 cites W2045237008 @default.
- W4211092209 cites W2046306553 @default.
- W4211092209 cites W2048792847 @default.
- W4211092209 cites W2050519161 @default.
- W4211092209 cites W2051685387 @default.
- W4211092209 cites W2059205954 @default.
- W4211092209 cites W2059933820 @default.
- W4211092209 cites W2064257235 @default.
- W4211092209 cites W2065653710 @default.
- W4211092209 cites W2074011039 @default.
- W4211092209 cites W2079460904 @default.
- W4211092209 cites W2079626851 @default.
- W4211092209 cites W2082080353 @default.
- W4211092209 cites W2084684966 @default.
- W4211092209 cites W2090169043 @default.
- W4211092209 cites W2092802507 @default.
- W4211092209 cites W2093281783 @default.
- W4211092209 cites W2104288836 @default.
- W4211092209 cites W2128925482 @default.
- W4211092209 cites W2138312950 @default.
- W4211092209 cites W2138829493 @default.
- W4211092209 cites W2159131252 @default.
- W4211092209 cites W2163983803 @default.
- W4211092209 cites W2172819665 @default.
- W4211092209 cites W2238084375 @default.
- W4211092209 cites W2315012277 @default.
- W4211092209 cites W2332168755 @default.
- W4211092209 cites W2515503808 @default.
- W4211092209 cites W2518737062 @default.
- W4211092209 cites W2590661609 @default.
- W4211092209 cites W2791380809 @default.
- W4211092209 cites W3100226298 @default.
- W4211092209 cites W3187249651 @default.
- W4211092209 cites W4211144022 @default.
- W4211092209 cites W4233253115 @default.
- W4211092209 cites W4242309855 @default.
- W4211092209 cites W4253934133 @default.
- W4211092209 cites W4300724905 @default.
- W4211092209 cites W4301948629 @default.
- W4211092209 cites W4301968143 @default.
- W4211092209 cites W48336254 @default.
- W4211092209 doi "https://doi.org/10.1017/9781108348034" @default.
- W4211092209 hasPublicationYear "2019" @default.
- W4211092209 type Work @default.
- W4211092209 citedByCount "48" @default.
- W4211092209 countsByYear W42110922092019 @default.
- W4211092209 countsByYear W42110922092020 @default.
- W4211092209 countsByYear W42110922092021 @default.
- W4211092209 countsByYear W42110922092022 @default.
- W4211092209 countsByYear W42110922092023 @default.
- W4211092209 crossrefType "monograph" @default.
- W4211092209 hasAuthorship W4211092209A5075172069 @default.
- W4211092209 hasAuthorship W4211092209A5086117892 @default.
- W4211092209 hasConcept C101874905 @default.
- W4211092209 hasConcept C102993220 @default.
- W4211092209 hasConcept C107247716 @default.
- W4211092209 hasConcept C111472728 @default.
- W4211092209 hasConcept C11413529 @default.
- W4211092209 hasConcept C121332964 @default.
- W4211092209 hasConcept C124047733 @default.
- W4211092209 hasConcept C138885662 @default.
- W4211092209 hasConcept C150889026 @default.
- W4211092209 hasConcept C154945302 @default.
- W4211092209 hasConcept C15744967 @default.
- W4211092209 hasConcept C165801399 @default.
- W4211092209 hasConcept C16796852 @default.
- W4211092209 hasConcept C172385210 @default.