Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034453867> ?p ?o ?g. }
- W2034453867 endingPage "566" @default.
- W2034453867 startingPage "541" @default.
- W2034453867 abstract "We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment of GLP Λ." @default.
- W2034453867 created "2016-06-24" @default.
- W2034453867 creator A5000566596 @default.
- W2034453867 creator A5080309379 @default.
- W2034453867 creator A5086500294 @default.
- W2034453867 date "2013-07-26" @default.
- W2034453867 modified "2023-09-30" @default.
- W2034453867 title "On Provability Logics with Linearly Ordered Modalities" @default.
- W2034453867 cites W1994332324 @default.
- W2034453867 cites W2010855309 @default.
- W2034453867 cites W2058604356 @default.
- W2034453867 cites W2065285281 @default.
- W2034453867 cites W2075471377 @default.
- W2034453867 cites W2109732494 @default.
- W2034453867 cites W2143956643 @default.
- W2034453867 cites W2145828499 @default.
- W2034453867 cites W2155188310 @default.
- W2034453867 cites W2270220526 @default.
- W2034453867 cites W2597910552 @default.
- W2034453867 cites W4254004595 @default.
- W2034453867 doi "https://doi.org/10.1007/s11225-013-9490-7" @default.
- W2034453867 hasPublicationYear "2013" @default.
- W2034453867 type Work @default.
- W2034453867 sameAs 2034453867 @default.
- W2034453867 citedByCount "32" @default.
- W2034453867 countsByYear W20344538672012 @default.
- W2034453867 countsByYear W20344538672014 @default.
- W2034453867 countsByYear W20344538672016 @default.
- W2034453867 countsByYear W20344538672017 @default.
- W2034453867 countsByYear W20344538672018 @default.
- W2034453867 countsByYear W20344538672019 @default.
- W2034453867 countsByYear W20344538672020 @default.
- W2034453867 countsByYear W20344538672021 @default.
- W2034453867 countsByYear W20344538672022 @default.
- W2034453867 crossrefType "journal-article" @default.
- W2034453867 hasAuthorship W2034453867A5000566596 @default.
- W2034453867 hasAuthorship W2034453867A5080309379 @default.
- W2034453867 hasAuthorship W2034453867A5086500294 @default.
- W2034453867 hasBestOaLocation W20344538672 @default.
- W2034453867 hasConcept C111335779 @default.
- W2034453867 hasConcept C11413529 @default.
- W2034453867 hasConcept C118615104 @default.
- W2034453867 hasConcept C134306372 @default.
- W2034453867 hasConcept C136119220 @default.
- W2034453867 hasConcept C153269930 @default.
- W2034453867 hasConcept C162324750 @default.
- W2034453867 hasConcept C164953516 @default.
- W2034453867 hasConcept C177148314 @default.
- W2034453867 hasConcept C177264268 @default.
- W2034453867 hasConcept C182365436 @default.
- W2034453867 hasConcept C199360897 @default.
- W2034453867 hasConcept C202444582 @default.
- W2034453867 hasConcept C2524010 @default.
- W2034453867 hasConcept C2776235265 @default.
- W2034453867 hasConcept C2778003309 @default.
- W2034453867 hasConcept C31170391 @default.
- W2034453867 hasConcept C33923547 @default.
- W2034453867 hasConcept C34447519 @default.
- W2034453867 hasConcept C41008148 @default.
- W2034453867 hasConceptScore W2034453867C111335779 @default.
- W2034453867 hasConceptScore W2034453867C11413529 @default.
- W2034453867 hasConceptScore W2034453867C118615104 @default.
- W2034453867 hasConceptScore W2034453867C134306372 @default.
- W2034453867 hasConceptScore W2034453867C136119220 @default.
- W2034453867 hasConceptScore W2034453867C153269930 @default.
- W2034453867 hasConceptScore W2034453867C162324750 @default.
- W2034453867 hasConceptScore W2034453867C164953516 @default.
- W2034453867 hasConceptScore W2034453867C177148314 @default.
- W2034453867 hasConceptScore W2034453867C177264268 @default.
- W2034453867 hasConceptScore W2034453867C182365436 @default.
- W2034453867 hasConceptScore W2034453867C199360897 @default.
- W2034453867 hasConceptScore W2034453867C202444582 @default.
- W2034453867 hasConceptScore W2034453867C2524010 @default.
- W2034453867 hasConceptScore W2034453867C2776235265 @default.
- W2034453867 hasConceptScore W2034453867C2778003309 @default.
- W2034453867 hasConceptScore W2034453867C31170391 @default.
- W2034453867 hasConceptScore W2034453867C33923547 @default.
- W2034453867 hasConceptScore W2034453867C34447519 @default.
- W2034453867 hasConceptScore W2034453867C41008148 @default.
- W2034453867 hasIssue "3" @default.
- W2034453867 hasLocation W20344538671 @default.
- W2034453867 hasLocation W20344538672 @default.
- W2034453867 hasOpenAccess W2034453867 @default.
- W2034453867 hasPrimaryLocation W20344538671 @default.
- W2034453867 hasRelatedWork W1996177377 @default.
- W2034453867 hasRelatedWork W2034453867 @default.
- W2034453867 hasRelatedWork W2049940171 @default.
- W2034453867 hasRelatedWork W2118701833 @default.
- W2034453867 hasRelatedWork W2144311624 @default.
- W2034453867 hasRelatedWork W2165407280 @default.
- W2034453867 hasRelatedWork W2250084181 @default.
- W2034453867 hasRelatedWork W2350259183 @default.
- W2034453867 hasRelatedWork W2743782362 @default.
- W2034453867 hasRelatedWork W2778825521 @default.
- W2034453867 hasVolume "102" @default.
- W2034453867 isParatext "false" @default.
- W2034453867 isRetracted "false" @default.
- W2034453867 magId "2034453867" @default.