FRINK Linked Data Fragments server

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

• W2085452636 endingPage "240" @default.
• W2085452636 startingPage "227" @default.
• W2085452636 abstract "We see a cut-free infinitary sequent system for common knowledge. Its sequents are essentially trees and the inference rules apply deeply inside of these trees. This allows to give a syntactic cut-elimination procedure which yields an upper bound of ϕ20 on the depth of proofs, where ϕ is the Veblen function." @default.
• W2085452636 created "2016-06-24" @default.
• W2085452636 creator A5057280880 @default.
• W2085452636 creator A5086903137 @default.
• W2085452636 date "2009-03-01" @default.
• W2085452636 modified "2023-10-14" @default.
• W2085452636 title "Syntactic Cut-elimination for Common Knowledge" @default.
• W2085452636 cites W1488732148 @default.
• W2085452636 cites W1494976167 @default.
• W2085452636 cites W1514633965 @default.
• W2085452636 cites W1540023260 @default.
• W2085452636 cites W155894625 @default.
• W2085452636 cites W1587799979 @default.
• W2085452636 cites W1588371531 @default.
• W2085452636 cites W1966647830 @default.
• W2085452636 cites W1968710686 @default.
• W2085452636 cites W1996723544 @default.
• W2085452636 cites W2022205872 @default.
• W2085452636 cites W2034315792 @default.
• W2085452636 cites W2065463946 @default.
• W2085452636 cites W2087735141 @default.
• W2085452636 cites W2092883160 @default.
• W2085452636 cites W2102625227 @default.
• W2085452636 cites W2120926795 @default.
• W2085452636 cites W2146819619 @default.
• W2085452636 cites W2906785358 @default.
• W2085452636 cites W2912891497 @default.
• W2085452636 cites W3038873949 @default.
• W2085452636 cites W3140030144 @default.
• W2085452636 cites W9922489 @default.
• W2085452636 cites W2186010399 @default.
• W2085452636 doi "https://doi.org/10.1016/j.entcs.2009.02.038" @default.
• W2085452636 hasPublicationYear "2009" @default.
• W2085452636 type Work @default.
• W2085452636 sameAs 2085452636 @default.
• W2085452636 citedByCount "10" @default.
• W2085452636 countsByYear W20854526362012 @default.
• W2085452636 countsByYear W20854526362015 @default.
• W2085452636 countsByYear W20854526362017 @default.
• W2085452636 countsByYear W20854526362021 @default.
• W2085452636 crossrefType "journal-article" @default.
• W2085452636 hasAuthorship W2085452636A5057280880 @default.
• W2085452636 hasAuthorship W2085452636A5086903137 @default.
• W2085452636 hasBestOaLocation W20854526361 @default.
• W2085452636 hasConcept C108710211 @default.
• W2085452636 hasConcept C111404639 @default.
• W2085452636 hasConcept C118615104 @default.
• W2085452636 hasConcept C133425853 @default.
• W2085452636 hasConcept C134306372 @default.
• W2085452636 hasConcept C136119220 @default.
• W2085452636 hasConcept C14036430 @default.
• W2085452636 hasConcept C154945302 @default.
• W2085452636 hasConcept C16215860 @default.
• W2085452636 hasConcept C162324750 @default.
• W2085452636 hasConcept C199343813 @default.
• W2085452636 hasConcept C202444582 @default.
• W2085452636 hasConcept C2524010 @default.
• W2085452636 hasConcept C2776214188 @default.
• W2085452636 hasConcept C2777686260 @default.
• W2085452636 hasConcept C33923547 @default.
• W2085452636 hasConcept C3746660 @default.
• W2085452636 hasConcept C41008148 @default.
• W2085452636 hasConcept C62073222 @default.
• W2085452636 hasConcept C6489637 @default.
• W2085452636 hasConcept C65880906 @default.
• W2085452636 hasConcept C71924100 @default.
• W2085452636 hasConcept C77553402 @default.
• W2085452636 hasConcept C78458016 @default.
• W2085452636 hasConcept C86803240 @default.
• W2085452636 hasConcept C89421646 @default.
• W2085452636 hasConceptScore W2085452636C108710211 @default.
• W2085452636 hasConceptScore W2085452636C111404639 @default.
• W2085452636 hasConceptScore W2085452636C118615104 @default.
• W2085452636 hasConceptScore W2085452636C133425853 @default.
• W2085452636 hasConceptScore W2085452636C134306372 @default.
• W2085452636 hasConceptScore W2085452636C136119220 @default.
• W2085452636 hasConceptScore W2085452636C14036430 @default.
• W2085452636 hasConceptScore W2085452636C154945302 @default.
• W2085452636 hasConceptScore W2085452636C16215860 @default.
• W2085452636 hasConceptScore W2085452636C162324750 @default.
• W2085452636 hasConceptScore W2085452636C199343813 @default.
• W2085452636 hasConceptScore W2085452636C202444582 @default.
• W2085452636 hasConceptScore W2085452636C2524010 @default.
• W2085452636 hasConceptScore W2085452636C2776214188 @default.
• W2085452636 hasConceptScore W2085452636C2777686260 @default.
• W2085452636 hasConceptScore W2085452636C33923547 @default.
• W2085452636 hasConceptScore W2085452636C3746660 @default.
• W2085452636 hasConceptScore W2085452636C41008148 @default.
• W2085452636 hasConceptScore W2085452636C62073222 @default.
• W2085452636 hasConceptScore W2085452636C6489637 @default.
• W2085452636 hasConceptScore W2085452636C65880906 @default.
• W2085452636 hasConceptScore W2085452636C71924100 @default.
• W2085452636 hasConceptScore W2085452636C77553402 @default.
• W2085452636 hasConceptScore W2085452636C78458016 @default.
• W2085452636 hasConceptScore W2085452636C86803240 @default.
• W2085452636 hasConceptScore W2085452636C89421646 @default.
• W2085452636 hasLocation W20854526361 @default.
• W2085452636 hasLocation W20854526362 @default.

• next