Matches in SemOpenAlex for { <https://semopenalex.org/work/W2167180320> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2167180320 endingPage "424" @default.
- W2167180320 startingPage "415" @default.
- W2167180320 abstract "We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P≥sα, with the intended meaning “the probability of truthfulness of α is at least s”. We describe the corresponding class of models, which are Kripke models with a naturally arising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable." @default.
- W2167180320 created "2016-06-24" @default.
- W2167180320 creator A5032703418 @default.
- W2167180320 creator A5057630815 @default.
- W2167180320 creator A5084703327 @default.
- W2167180320 date "2003-07-01" @default.
- W2167180320 modified "2023-10-16" @default.
- W2167180320 title "A probabilistic extension of intuitionistic logic" @default.
- W2167180320 doi "https://doi.org/10.1002/malq.200310044" @default.
- W2167180320 hasPublicationYear "2003" @default.
- W2167180320 type Work @default.
- W2167180320 sameAs 2167180320 @default.
- W2167180320 citedByCount "27" @default.
- W2167180320 countsByYear W21671803202012 @default.
- W2167180320 countsByYear W21671803202013 @default.
- W2167180320 countsByYear W21671803202014 @default.
- W2167180320 countsByYear W21671803202016 @default.
- W2167180320 countsByYear W21671803202017 @default.
- W2167180320 countsByYear W21671803202018 @default.
- W2167180320 countsByYear W21671803202022 @default.
- W2167180320 countsByYear W21671803202023 @default.
- W2167180320 crossrefType "journal-article" @default.
- W2167180320 hasAuthorship W2167180320A5032703418 @default.
- W2167180320 hasAuthorship W2167180320A5057630815 @default.
- W2167180320 hasAuthorship W2167180320A5084703327 @default.
- W2167180320 hasConcept C102993220 @default.
- W2167180320 hasConcept C105795698 @default.
- W2167180320 hasConcept C110039528 @default.
- W2167180320 hasConcept C118615104 @default.
- W2167180320 hasConcept C136119220 @default.
- W2167180320 hasConcept C14523651 @default.
- W2167180320 hasConcept C150889026 @default.
- W2167180320 hasConcept C153269930 @default.
- W2167180320 hasConcept C154945302 @default.
- W2167180320 hasConcept C167729594 @default.
- W2167180320 hasConcept C178421362 @default.
- W2167180320 hasConcept C199343813 @default.
- W2167180320 hasConcept C199360897 @default.
- W2167180320 hasConcept C202444582 @default.
- W2167180320 hasConcept C203659156 @default.
- W2167180320 hasConcept C2524010 @default.
- W2167180320 hasConcept C2777212361 @default.
- W2167180320 hasConcept C2777686260 @default.
- W2167180320 hasConcept C2778029271 @default.
- W2167180320 hasConcept C33203268 @default.
- W2167180320 hasConcept C33923547 @default.
- W2167180320 hasConcept C3845977 @default.
- W2167180320 hasConcept C41008148 @default.
- W2167180320 hasConcept C49937458 @default.
- W2167180320 hasConcept C69562738 @default.
- W2167180320 hasConcept C71924100 @default.
- W2167180320 hasConcept C80444323 @default.
- W2167180320 hasConceptScore W2167180320C102993220 @default.
- W2167180320 hasConceptScore W2167180320C105795698 @default.
- W2167180320 hasConceptScore W2167180320C110039528 @default.
- W2167180320 hasConceptScore W2167180320C118615104 @default.
- W2167180320 hasConceptScore W2167180320C136119220 @default.
- W2167180320 hasConceptScore W2167180320C14523651 @default.
- W2167180320 hasConceptScore W2167180320C150889026 @default.
- W2167180320 hasConceptScore W2167180320C153269930 @default.
- W2167180320 hasConceptScore W2167180320C154945302 @default.
- W2167180320 hasConceptScore W2167180320C167729594 @default.
- W2167180320 hasConceptScore W2167180320C178421362 @default.
- W2167180320 hasConceptScore W2167180320C199343813 @default.
- W2167180320 hasConceptScore W2167180320C199360897 @default.
- W2167180320 hasConceptScore W2167180320C202444582 @default.
- W2167180320 hasConceptScore W2167180320C203659156 @default.
- W2167180320 hasConceptScore W2167180320C2524010 @default.
- W2167180320 hasConceptScore W2167180320C2777212361 @default.
- W2167180320 hasConceptScore W2167180320C2777686260 @default.
- W2167180320 hasConceptScore W2167180320C2778029271 @default.
- W2167180320 hasConceptScore W2167180320C33203268 @default.
- W2167180320 hasConceptScore W2167180320C33923547 @default.
- W2167180320 hasConceptScore W2167180320C3845977 @default.
- W2167180320 hasConceptScore W2167180320C41008148 @default.
- W2167180320 hasConceptScore W2167180320C49937458 @default.
- W2167180320 hasConceptScore W2167180320C69562738 @default.
- W2167180320 hasConceptScore W2167180320C71924100 @default.
- W2167180320 hasConceptScore W2167180320C80444323 @default.
- W2167180320 hasIssue "4" @default.
- W2167180320 hasLocation W21671803201 @default.
- W2167180320 hasOpenAccess W2167180320 @default.
- W2167180320 hasPrimaryLocation W21671803201 @default.
- W2167180320 hasRelatedWork W1549628945 @default.
- W2167180320 hasRelatedWork W1573206013 @default.
- W2167180320 hasRelatedWork W1986625420 @default.
- W2167180320 hasRelatedWork W2014555924 @default.
- W2167180320 hasRelatedWork W2020323165 @default.
- W2167180320 hasRelatedWork W2081976468 @default.
- W2167180320 hasRelatedWork W2154555144 @default.
- W2167180320 hasRelatedWork W2952893544 @default.
- W2167180320 hasRelatedWork W3100510665 @default.
- W2167180320 hasRelatedWork W3137333128 @default.
- W2167180320 hasVolume "49" @default.
- W2167180320 isParatext "false" @default.
- W2167180320 isRetracted "false" @default.
- W2167180320 magId "2167180320" @default.
- W2167180320 workType "article" @default.