FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2621139739> ?p ?o ?g. }

• W2621139739 endingPage "21" @default.
• W2621139739 startingPage "1" @default.
• W2621139739 abstract "Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic. In such logic, the reasons a fact is believed are explicitly represented as justification terms. Traditionally, the modeling of uncertain beliefs is crucially important for epistemic reasoning. Graded modal logics interpreted with possibility theory semantics have been successfully applied to the representation and reasoning of uncertain beliefs; however, they cannot keep track of the reasons an agent believes a fact. This article is aimed at extending the graded modal logics with explicit justifications. We introduce a possibilistic justification logic, present its syntax and semantics, and investigate its metaproperties, such as soundness, completeness, and realizability." @default.
• W2621139739 created "2017-06-09" @default.
• W2621139739 creator A5026079930 @default.
• W2621139739 creator A5042837859 @default.
• W2621139739 creator A5088558008 @default.
• W2621139739 date "2017-04-30" @default.
• W2621139739 modified "2023-09-24" @default.
• W2621139739 title "Possibilistic Justification Logic" @default.
• W2621139739 cites W1968661412 @default.
• W2621139739 cites W2009552408 @default.
• W2621139739 cites W2043468053 @default.
• W2621139739 cites W2045237008 @default.
• W2621139739 cites W2050519161 @default.
• W2621139739 cites W2070949243 @default.
• W2621139739 cites W2074011039 @default.
• W2621139739 cites W2074969652 @default.
• W2621139739 cites W2085977285 @default.
• W2621139739 cites W2093239026 @default.
• W2621139739 cites W2104288836 @default.
• W2621139739 cites W2110182592 @default.
• W2621139739 cites W2119082226 @default.
• W2621139739 cites W2128925482 @default.
• W2621139739 cites W2271730576 @default.
• W2621139739 cites W4211144022 @default.
• W2621139739 cites W4230588984 @default.
• W2621139739 cites W654655 @default.
• W2621139739 cites W2063610554 @default.
• W2621139739 doi "https://doi.org/10.1145/3091118" @default.
• W2621139739 hasPublicationYear "2017" @default.
• W2621139739 type Work @default.
• W2621139739 sameAs 2621139739 @default.
• W2621139739 citedByCount "5" @default.
• W2621139739 countsByYear W26211397392017 @default.
• W2621139739 countsByYear W26211397392019 @default.
• W2621139739 countsByYear W26211397392022 @default.
• W2621139739 crossrefType "journal-article" @default.
• W2621139739 hasAuthorship W2621139739A5026079930 @default.
• W2621139739 hasAuthorship W2621139739A5042837859 @default.
• W2621139739 hasAuthorship W2621139739A5088558008 @default.
• W2621139739 hasConcept C101874905 @default.
• W2621139739 hasConcept C102993220 @default.
• W2621139739 hasConcept C107247716 @default.
• W2621139739 hasConcept C108710211 @default.
• W2621139739 hasConcept C111472728 @default.
• W2621139739 hasConcept C114092440 @default.
• W2621139739 hasConcept C11413529 @default.
• W2621139739 hasConcept C121332964 @default.
• W2621139739 hasConcept C134306372 @default.
• W2621139739 hasConcept C138885662 @default.
• W2621139739 hasConcept C159032336 @default.
• W2621139739 hasConcept C165801399 @default.
• W2621139739 hasConcept C17231256 @default.
• W2621139739 hasConcept C172385210 @default.
• W2621139739 hasConcept C184337299 @default.
• W2621139739 hasConcept C185592680 @default.
• W2621139739 hasConcept C188027245 @default.
• W2621139739 hasConcept C199343813 @default.
• W2621139739 hasConcept C199360897 @default.
• W2621139739 hasConcept C203659156 @default.
• W2621139739 hasConcept C2524010 @default.
• W2621139739 hasConcept C27508121 @default.
• W2621139739 hasConcept C2776378722 @default.
• W2621139739 hasConcept C2777686260 @default.
• W2621139739 hasConcept C2777796570 @default.
• W2621139739 hasConcept C33923547 @default.
• W2621139739 hasConcept C3845977 @default.
• W2621139739 hasConcept C39920170 @default.
• W2621139739 hasConcept C41008148 @default.
• W2621139739 hasConcept C62520636 @default.
• W2621139739 hasConcept C71139939 @default.
• W2621139739 hasConcept C71924100 @default.
• W2621139739 hasConcept C80444323 @default.
• W2621139739 hasConceptScore W2621139739C101874905 @default.
• W2621139739 hasConceptScore W2621139739C102993220 @default.
• W2621139739 hasConceptScore W2621139739C107247716 @default.
• W2621139739 hasConceptScore W2621139739C108710211 @default.
• W2621139739 hasConceptScore W2621139739C111472728 @default.
• W2621139739 hasConceptScore W2621139739C114092440 @default.
• W2621139739 hasConceptScore W2621139739C11413529 @default.
• W2621139739 hasConceptScore W2621139739C121332964 @default.
• W2621139739 hasConceptScore W2621139739C134306372 @default.
• W2621139739 hasConceptScore W2621139739C138885662 @default.
• W2621139739 hasConceptScore W2621139739C159032336 @default.
• W2621139739 hasConceptScore W2621139739C165801399 @default.
• W2621139739 hasConceptScore W2621139739C17231256 @default.
• W2621139739 hasConceptScore W2621139739C172385210 @default.
• W2621139739 hasConceptScore W2621139739C184337299 @default.
• W2621139739 hasConceptScore W2621139739C185592680 @default.
• W2621139739 hasConceptScore W2621139739C188027245 @default.
• W2621139739 hasConceptScore W2621139739C199343813 @default.
• W2621139739 hasConceptScore W2621139739C199360897 @default.
• W2621139739 hasConceptScore W2621139739C203659156 @default.
• W2621139739 hasConceptScore W2621139739C2524010 @default.
• W2621139739 hasConceptScore W2621139739C27508121 @default.
• W2621139739 hasConceptScore W2621139739C2776378722 @default.
• W2621139739 hasConceptScore W2621139739C2777686260 @default.
• W2621139739 hasConceptScore W2621139739C2777796570 @default.
• W2621139739 hasConceptScore W2621139739C33923547 @default.

• next