FRINK Linked Data Fragments server

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

• W207485613 endingPage "230" @default.
• W207485613 startingPage "219" @default.
• W207485613 abstract "We generalise some results of (7, 5) and show that if L is an -modal logic (for some ordinal ≥ 3) such that (i) L contains the product logic K and (ii) the product of -many trees of depth one and with arbitrary large finite branching is a frame for L, then any axiomatisation of L must contain infinitely many propositional variables. As a consequence we obtain that product logics like K , K4 , S4 , GL , and Grz cannot be axiomatised using finitely many propositional variables, whenever ≥ 3." @default.
• W207485613 created "2016-06-24" @default.
• W207485613 creator A5038619560 @default.
• W207485613 date "2008-01-01" @default.
• W207485613 modified "2023-09-23" @default.
• W207485613 title "On axiomatising products of Kripke frames, part II" @default.
• W207485613 cites W1485990531 @default.
• W207485613 cites W1489614395 @default.
• W207485613 cites W1966911791 @default.
• W207485613 cites W1976530497 @default.
• W207485613 cites W2004665970 @default.
• W207485613 cites W2013191336 @default.
• W207485613 cites W2070636184 @default.
• W207485613 cites W2108163838 @default.
• W207485613 cites W2109696340 @default.
• W207485613 cites W2118324648 @default.
• W207485613 cites W2180189393 @default.
• W207485613 cites W2724355227 @default.
• W207485613 hasPublicationYear "2008" @default.
• W207485613 type Work @default.
• W207485613 sameAs 207485613 @default.
• W207485613 citedByCount "6" @default.
• W207485613 countsByYear W2074856132013 @default.
• W207485613 countsByYear W2074856132014 @default.
• W207485613 crossrefType "proceedings-article" @default.
• W207485613 hasAuthorship W207485613A5038619560 @default.
• W207485613 hasConcept C102993220 @default.
• W207485613 hasConcept C110251889 @default.
• W207485613 hasConcept C114092440 @default.
• W207485613 hasConcept C11413529 @default.
• W207485613 hasConcept C118615104 @default.
• W207485613 hasConcept C126042441 @default.
• W207485613 hasConcept C136119220 @default.
• W207485613 hasConcept C14523651 @default.
• W207485613 hasConcept C159985019 @default.
• W207485613 hasConcept C161913894 @default.
• W207485613 hasConcept C185592680 @default.
• W207485613 hasConcept C188027245 @default.
• W207485613 hasConcept C192562407 @default.
• W207485613 hasConcept C202444582 @default.
• W207485613 hasConcept C206175624 @default.
• W207485613 hasConcept C2524010 @default.
• W207485613 hasConcept C27508121 @default.
• W207485613 hasConcept C33203268 @default.
• W207485613 hasConcept C33923547 @default.
• W207485613 hasConcept C41008148 @default.
• W207485613 hasConcept C69562738 @default.
• W207485613 hasConcept C71139939 @default.
• W207485613 hasConcept C76155785 @default.
• W207485613 hasConcept C80444323 @default.
• W207485613 hasConcept C90673727 @default.
• W207485613 hasConceptScore W207485613C102993220 @default.
• W207485613 hasConceptScore W207485613C110251889 @default.
• W207485613 hasConceptScore W207485613C114092440 @default.
• W207485613 hasConceptScore W207485613C11413529 @default.
• W207485613 hasConceptScore W207485613C118615104 @default.
• W207485613 hasConceptScore W207485613C126042441 @default.
• W207485613 hasConceptScore W207485613C136119220 @default.
• W207485613 hasConceptScore W207485613C14523651 @default.
• W207485613 hasConceptScore W207485613C159985019 @default.
• W207485613 hasConceptScore W207485613C161913894 @default.
• W207485613 hasConceptScore W207485613C185592680 @default.
• W207485613 hasConceptScore W207485613C188027245 @default.
• W207485613 hasConceptScore W207485613C192562407 @default.
• W207485613 hasConceptScore W207485613C202444582 @default.
• W207485613 hasConceptScore W207485613C206175624 @default.
• W207485613 hasConceptScore W207485613C2524010 @default.
• W207485613 hasConceptScore W207485613C27508121 @default.
• W207485613 hasConceptScore W207485613C33203268 @default.
• W207485613 hasConceptScore W207485613C33923547 @default.
• W207485613 hasConceptScore W207485613C41008148 @default.
• W207485613 hasConceptScore W207485613C69562738 @default.
• W207485613 hasConceptScore W207485613C71139939 @default.
• W207485613 hasConceptScore W207485613C76155785 @default.
• W207485613 hasConceptScore W207485613C80444323 @default.
• W207485613 hasConceptScore W207485613C90673727 @default.
• W207485613 hasOpenAccess W207485613 @default.
• W207485613 hasRelatedWork W142053201 @default.
• W207485613 hasRelatedWork W1480389067 @default.
• W207485613 hasRelatedWork W1485990531 @default.
• W207485613 hasRelatedWork W15134229 @default.
• W207485613 hasRelatedWork W1574058751 @default.
• W207485613 hasRelatedWork W179901103 @default.
• W207485613 hasRelatedWork W1966469983 @default.
• W207485613 hasRelatedWork W1976530497 @default.
• W207485613 hasRelatedWork W2048154108 @default.
• W207485613 hasRelatedWork W2050579864 @default.
• W207485613 hasRelatedWork W2127907968 @default.
• W207485613 hasRelatedWork W2142906421 @default.
• W207485613 hasRelatedWork W2148157601 @default.
• W207485613 hasRelatedWork W2274975500 @default.
• W207485613 hasRelatedWork W2286419476 @default.
• W207485613 hasRelatedWork W2521115099 @default.
• W207485613 hasRelatedWork W2610670723 @default.
• W207485613 hasRelatedWork W2788364919 @default.
• W207485613 hasRelatedWork W2955151225 @default.
• W207485613 hasRelatedWork W3158961529 @default.
• W207485613 isParatext "false" @default.

• next