FRINK Linked Data Fragments server

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

• W1487155807 abstract "The paper investigates interpretations of propositional and first-order logic in which validity is defined in terms of partial indices; sometimes called possibilities but here understood as non-empty subsets of a set W of possible worlds. Truth at a set of worlds is understood to be truth at every world in the set. If all subsets of W are permitted the logic so determined is classical first-order predicate logic. Restricting allowable subsets and then imposing certain closure conditions provides a modelling for intuitionistic predicate logic. The same semantic interpretation rules are used in both logics for all the operators." @default.
• W1487155807 created "2016-06-24" @default.
• W1487155807 creator A5012858632 @default.
• W1487155807 date "2004-04-30" @default.
• W1487155807 modified "2023-10-18" @default.
• W1487155807 title "Possibility Semantics for Intuitionistic Logic" @default.
• W1487155807 cites W1591728283 @default.
• W1487155807 cites W1699512023 @default.
• W1487155807 cites W1891479826 @default.
• W1487155807 cites W2005381567 @default.
• W1487155807 cites W2016152439 @default.
• W1487155807 cites W2049362364 @default.
• W1487155807 cites W2108516919 @default.
• W1487155807 cites W2163751633 @default.
• W1487155807 cites W2168302543 @default.
• W1487155807 cites W2527843003 @default.
• W1487155807 cites W578063101 @default.
• W1487155807 doi "https://doi.org/10.26686/ajl.v2i0.1764" @default.
• W1487155807 hasPublicationYear "2004" @default.
• W1487155807 type Work @default.
• W1487155807 sameAs 1487155807 @default.
• W1487155807 citedByCount "7" @default.
• W1487155807 countsByYear W14871558072014 @default.
• W1487155807 countsByYear W14871558072015 @default.
• W1487155807 countsByYear W14871558072016 @default.
• W1487155807 countsByYear W14871558072017 @default.
• W1487155807 countsByYear W14871558072023 @default.
• W1487155807 crossrefType "journal-article" @default.
• W1487155807 hasAuthorship W1487155807A5012858632 @default.
• W1487155807 hasBestOaLocation W14871558071 @default.
• W1487155807 hasConcept C100481476 @default.
• W1487155807 hasConcept C102993220 @default.
• W1487155807 hasConcept C110039528 @default.
• W1487155807 hasConcept C111472728 @default.
• W1487155807 hasConcept C118615104 @default.
• W1487155807 hasConcept C136172866 @default.
• W1487155807 hasConcept C138885662 @default.
• W1487155807 hasConcept C140146324 @default.
• W1487155807 hasConcept C146834321 @default.
• W1487155807 hasConcept C150889026 @default.
• W1487155807 hasConcept C162324750 @default.
• W1487155807 hasConcept C169896238 @default.
• W1487155807 hasConcept C177264268 @default.
• W1487155807 hasConcept C178421362 @default.
• W1487155807 hasConcept C19689857 @default.
• W1487155807 hasConcept C199360897 @default.
• W1487155807 hasConcept C203659156 @default.
• W1487155807 hasConcept C2039508 @default.
• W1487155807 hasConcept C32241873 @default.
• W1487155807 hasConcept C33203268 @default.
• W1487155807 hasConcept C33923547 @default.
• W1487155807 hasConcept C34447519 @default.
• W1487155807 hasConcept C37754750 @default.
• W1487155807 hasConcept C3845977 @default.
• W1487155807 hasConcept C41008148 @default.
• W1487155807 hasConcept C46274116 @default.
• W1487155807 hasConcept C69562738 @default.
• W1487155807 hasConcept C73314972 @default.
• W1487155807 hasConcept C80444323 @default.
• W1487155807 hasConceptScore W1487155807C100481476 @default.
• W1487155807 hasConceptScore W1487155807C102993220 @default.
• W1487155807 hasConceptScore W1487155807C110039528 @default.
• W1487155807 hasConceptScore W1487155807C111472728 @default.
• W1487155807 hasConceptScore W1487155807C118615104 @default.
• W1487155807 hasConceptScore W1487155807C136172866 @default.
• W1487155807 hasConceptScore W1487155807C138885662 @default.
• W1487155807 hasConceptScore W1487155807C140146324 @default.
• W1487155807 hasConceptScore W1487155807C146834321 @default.
• W1487155807 hasConceptScore W1487155807C150889026 @default.
• W1487155807 hasConceptScore W1487155807C162324750 @default.
• W1487155807 hasConceptScore W1487155807C169896238 @default.
• W1487155807 hasConceptScore W1487155807C177264268 @default.
• W1487155807 hasConceptScore W1487155807C178421362 @default.
• W1487155807 hasConceptScore W1487155807C19689857 @default.
• W1487155807 hasConceptScore W1487155807C199360897 @default.
• W1487155807 hasConceptScore W1487155807C203659156 @default.
• W1487155807 hasConceptScore W1487155807C2039508 @default.
• W1487155807 hasConceptScore W1487155807C32241873 @default.
• W1487155807 hasConceptScore W1487155807C33203268 @default.
• W1487155807 hasConceptScore W1487155807C33923547 @default.
• W1487155807 hasConceptScore W1487155807C34447519 @default.
• W1487155807 hasConceptScore W1487155807C37754750 @default.
• W1487155807 hasConceptScore W1487155807C3845977 @default.
• W1487155807 hasConceptScore W1487155807C41008148 @default.
• W1487155807 hasConceptScore W1487155807C46274116 @default.
• W1487155807 hasConceptScore W1487155807C69562738 @default.
• W1487155807 hasConceptScore W1487155807C73314972 @default.
• W1487155807 hasConceptScore W1487155807C80444323 @default.
• W1487155807 hasLocation W14871558071 @default.
• W1487155807 hasOpenAccess W1487155807 @default.
• W1487155807 hasPrimaryLocation W14871558071 @default.
• W1487155807 hasRelatedWork W1487155807 @default.
• W1487155807 hasRelatedWork W1505395785 @default.
• W1487155807 hasRelatedWork W1760954332 @default.
• W1487155807 hasRelatedWork W1970041290 @default.
• W1487155807 hasRelatedWork W1980922737 @default.
• W1487155807 hasRelatedWork W2105686283 @default.
• W1487155807 hasRelatedWork W2121616340 @default.
• W1487155807 hasRelatedWork W2740351250 @default.
• W1487155807 hasRelatedWork W2913260702 @default.

• next