Matches in SemOpenAlex for { <https://semopenalex.org/work/W3114768102> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3114768102 endingPage "185" @default.
- W3114768102 startingPage "155" @default.
- W3114768102 abstract "Abstract We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames." @default.
- W3114768102 created "2021-01-05" @default.
- W3114768102 creator A5004332415 @default.
- W3114768102 creator A5043349795 @default.
- W3114768102 creator A5045194736 @default.
- W3114768102 creator A5080309379 @default.
- W3114768102 date "2020-12-17" @default.
- W3114768102 modified "2023-10-18" @default.
- W3114768102 title "Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms" @default.
- W3114768102 cites W1489366126 @default.
- W3114768102 cites W1555138513 @default.
- W3114768102 cites W1985255932 @default.
- W3114768102 cites W1991755574 @default.
- W3114768102 cites W1995365759 @default.
- W3114768102 cites W2033743662 @default.
- W3114768102 cites W2042590814 @default.
- W3114768102 cites W2094001511 @default.
- W3114768102 cites W2175748456 @default.
- W3114768102 cites W2339697109 @default.
- W3114768102 cites W2490907619 @default.
- W3114768102 cites W2996136717 @default.
- W3114768102 cites W4210350201 @default.
- W3114768102 cites W4236835455 @default.
- W3114768102 cites W4245713184 @default.
- W3114768102 doi "https://doi.org/10.1093/jigpal/jzaa068" @default.
- W3114768102 hasPublicationYear "2020" @default.
- W3114768102 type Work @default.
- W3114768102 sameAs 3114768102 @default.
- W3114768102 citedByCount "1" @default.
- W3114768102 countsByYear W31147681022022 @default.
- W3114768102 crossrefType "journal-article" @default.
- W3114768102 hasAuthorship W3114768102A5004332415 @default.
- W3114768102 hasAuthorship W3114768102A5043349795 @default.
- W3114768102 hasAuthorship W3114768102A5045194736 @default.
- W3114768102 hasAuthorship W3114768102A5080309379 @default.
- W3114768102 hasBestOaLocation W31147681022 @default.
- W3114768102 hasConcept C111472728 @default.
- W3114768102 hasConcept C118615104 @default.
- W3114768102 hasConcept C126042441 @default.
- W3114768102 hasConcept C138885662 @default.
- W3114768102 hasConcept C154945302 @default.
- W3114768102 hasConcept C167729594 @default.
- W3114768102 hasConcept C185592680 @default.
- W3114768102 hasConcept C188027245 @default.
- W3114768102 hasConcept C189950617 @default.
- W3114768102 hasConcept C2524010 @default.
- W3114768102 hasConcept C2777212361 @default.
- W3114768102 hasConcept C2780069185 @default.
- W3114768102 hasConcept C33923547 @default.
- W3114768102 hasConcept C41008148 @default.
- W3114768102 hasConcept C71139939 @default.
- W3114768102 hasConcept C76155785 @default.
- W3114768102 hasConceptScore W3114768102C111472728 @default.
- W3114768102 hasConceptScore W3114768102C118615104 @default.
- W3114768102 hasConceptScore W3114768102C126042441 @default.
- W3114768102 hasConceptScore W3114768102C138885662 @default.
- W3114768102 hasConceptScore W3114768102C154945302 @default.
- W3114768102 hasConceptScore W3114768102C167729594 @default.
- W3114768102 hasConceptScore W3114768102C185592680 @default.
- W3114768102 hasConceptScore W3114768102C188027245 @default.
- W3114768102 hasConceptScore W3114768102C189950617 @default.
- W3114768102 hasConceptScore W3114768102C2524010 @default.
- W3114768102 hasConceptScore W3114768102C2777212361 @default.
- W3114768102 hasConceptScore W3114768102C2780069185 @default.
- W3114768102 hasConceptScore W3114768102C33923547 @default.
- W3114768102 hasConceptScore W3114768102C41008148 @default.
- W3114768102 hasConceptScore W3114768102C71139939 @default.
- W3114768102 hasConceptScore W3114768102C76155785 @default.
- W3114768102 hasIssue "1" @default.
- W3114768102 hasLocation W31147681021 @default.
- W3114768102 hasLocation W31147681022 @default.
- W3114768102 hasLocation W31147681023 @default.
- W3114768102 hasLocation W31147681024 @default.
- W3114768102 hasLocation W31147681025 @default.
- W3114768102 hasLocation W31147681026 @default.
- W3114768102 hasOpenAccess W3114768102 @default.
- W3114768102 hasPrimaryLocation W31147681021 @default.
- W3114768102 hasRelatedWork W1522717445 @default.
- W3114768102 hasRelatedWork W1555836633 @default.
- W3114768102 hasRelatedWork W1607974337 @default.
- W3114768102 hasRelatedWork W16157476 @default.
- W3114768102 hasRelatedWork W178365807 @default.
- W3114768102 hasRelatedWork W1970375080 @default.
- W3114768102 hasRelatedWork W2081441417 @default.
- W3114768102 hasRelatedWork W2161487585 @default.
- W3114768102 hasRelatedWork W3151571721 @default.
- W3114768102 hasRelatedWork W4312316007 @default.
- W3114768102 hasVolume "30" @default.
- W3114768102 isParatext "false" @default.
- W3114768102 isRetracted "false" @default.
- W3114768102 magId "3114768102" @default.
- W3114768102 workType "article" @default.