Matches in SemOpenAlex for { <https://semopenalex.org/work/W2197201215> ?p ?o ?g. }
- W2197201215 abstract "In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn’ scenario in modal epistemic logic and Justification Logic and show here that the latter provides a deeper analysis. In particular, we argue that modal language fails to fully represent the epistemic closure principle whereas Justification Logic provides its adequate formalization." @default.
- W2197201215 created "2016-06-24" @default.
- W2197201215 creator A5075172069 @default.
- W2197201215 date "2008-01-01" @default.
- W2197201215 modified "2023-09-23" @default.
- W2197201215 title "TR-2008014: Why Do We Need Justification Logic?" @default.
- W2197201215 cites W1494449308 @default.
- W2197201215 cites W1502279330 @default.
- W2197201215 cites W1511918851 @default.
- W2197201215 cites W1519329408 @default.
- W2197201215 cites W1520754358 @default.
- W2197201215 cites W1557859993 @default.
- W2197201215 cites W1570099385 @default.
- W2197201215 cites W1588371531 @default.
- W2197201215 cites W1763969474 @default.
- W2197201215 cites W178384805 @default.
- W2197201215 cites W1795577507 @default.
- W2197201215 cites W1830814772 @default.
- W2197201215 cites W1847655899 @default.
- W2197201215 cites W1966129247 @default.
- W2197201215 cites W1968710686 @default.
- W2197201215 cites W1971637759 @default.
- W2197201215 cites W1972836303 @default.
- W2197201215 cites W1980308847 @default.
- W2197201215 cites W1991386049 @default.
- W2197201215 cites W1992064866 @default.
- W2197201215 cites W1994227541 @default.
- W2197201215 cites W2004550536 @default.
- W2197201215 cites W2009552408 @default.
- W2197201215 cites W2032493730 @default.
- W2197201215 cites W2043468053 @default.
- W2197201215 cites W2043566933 @default.
- W2197201215 cites W2045237008 @default.
- W2197201215 cites W20793108 @default.
- W2197201215 cites W2091343125 @default.
- W2197201215 cites W2100973247 @default.
- W2197201215 cites W2104288836 @default.
- W2197201215 cites W2108251248 @default.
- W2197201215 cites W2122695791 @default.
- W2197201215 cites W2128753218 @default.
- W2197201215 cites W2134850491 @default.
- W2197201215 cites W2146819619 @default.
- W2197201215 cites W2155410891 @default.
- W2197201215 cites W25317683 @default.
- W2197201215 cites W2911454339 @default.
- W2197201215 cites W5642659 @default.
- W2197201215 cites W189187648 @default.
- W2197201215 hasPublicationYear "2008" @default.
- W2197201215 type Work @default.
- W2197201215 sameAs 2197201215 @default.
- W2197201215 citedByCount "0" @default.
- W2197201215 crossrefType "journal-article" @default.
- W2197201215 hasAuthorship W2197201215A5075172069 @default.
- W2197201215 hasConcept C101874905 @default.
- W2197201215 hasConcept C102993220 @default.
- W2197201215 hasConcept C107247716 @default.
- W2197201215 hasConcept C111472728 @default.
- W2197201215 hasConcept C11191006 @default.
- W2197201215 hasConcept C114092440 @default.
- W2197201215 hasConcept C11413529 @default.
- W2197201215 hasConcept C121332964 @default.
- W2197201215 hasConcept C124047733 @default.
- W2197201215 hasConcept C138885662 @default.
- W2197201215 hasConcept C154945302 @default.
- W2197201215 hasConcept C165801399 @default.
- W2197201215 hasConcept C16796852 @default.
- W2197201215 hasConcept C172385210 @default.
- W2197201215 hasConcept C185592680 @default.
- W2197201215 hasConcept C188027245 @default.
- W2197201215 hasConcept C203659156 @default.
- W2197201215 hasConcept C27508121 @default.
- W2197201215 hasConcept C2777796570 @default.
- W2197201215 hasConcept C2779231336 @default.
- W2197201215 hasConcept C33923547 @default.
- W2197201215 hasConcept C41008148 @default.
- W2197201215 hasConcept C62520636 @default.
- W2197201215 hasConcept C71139939 @default.
- W2197201215 hasConcept C7280424 @default.
- W2197201215 hasConceptScore W2197201215C101874905 @default.
- W2197201215 hasConceptScore W2197201215C102993220 @default.
- W2197201215 hasConceptScore W2197201215C107247716 @default.
- W2197201215 hasConceptScore W2197201215C111472728 @default.
- W2197201215 hasConceptScore W2197201215C11191006 @default.
- W2197201215 hasConceptScore W2197201215C114092440 @default.
- W2197201215 hasConceptScore W2197201215C11413529 @default.
- W2197201215 hasConceptScore W2197201215C121332964 @default.
- W2197201215 hasConceptScore W2197201215C124047733 @default.
- W2197201215 hasConceptScore W2197201215C138885662 @default.
- W2197201215 hasConceptScore W2197201215C154945302 @default.
- W2197201215 hasConceptScore W2197201215C165801399 @default.
- W2197201215 hasConceptScore W2197201215C16796852 @default.
- W2197201215 hasConceptScore W2197201215C172385210 @default.
- W2197201215 hasConceptScore W2197201215C185592680 @default.
- W2197201215 hasConceptScore W2197201215C188027245 @default.
- W2197201215 hasConceptScore W2197201215C203659156 @default.
- W2197201215 hasConceptScore W2197201215C27508121 @default.
- W2197201215 hasConceptScore W2197201215C2777796570 @default.
- W2197201215 hasConceptScore W2197201215C2779231336 @default.
- W2197201215 hasConceptScore W2197201215C33923547 @default.
- W2197201215 hasConceptScore W2197201215C41008148 @default.