FRINK Linked Data Fragments server

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

• W2065463946 endingPage "689" @default.
• W2065463946 startingPage "681" @default.
• W2065463946 abstract "Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in [L. Alberucci, G. Jäger, About cut elimination for logics of common knowledge, Annals of Pure and Applied Logic 133 (2005) 73–99], we apply the finite model property to “finitize” this deductive system. The result is a cut-free, sound and complete sequent calculus for common knowledge." @default.
• W2065463946 created "2016-06-24" @default.
• W2065463946 creator A5002444021 @default.
• W2065463946 creator A5019358632 @default.
• W2065463946 creator A5086903137 @default.
• W2065463946 date "2007-12-01" @default.
• W2065463946 modified "2023-09-26" @default.
• W2065463946 title "Cut-free common knowledge" @default.
• W2065463946 cites W1494976167 @default.
• W2065463946 cites W1897571399 @default.
• W2065463946 cites W2076073997 @default.
• W2065463946 cites W2087735141 @default.
• W2065463946 cites W2146819619 @default.
• W2065463946 cites W2163851465 @default.
• W2065463946 cites W53052996 @default.
• W2065463946 doi "https://doi.org/10.1016/j.jal.2006.02.003" @default.
• W2065463946 hasPublicationYear "2007" @default.
• W2065463946 type Work @default.
• W2065463946 sameAs 2065463946 @default.
• W2065463946 citedByCount "27" @default.
• W2065463946 countsByYear W20654639462012 @default.
• W2065463946 countsByYear W20654639462015 @default.
• W2065463946 countsByYear W20654639462016 @default.
• W2065463946 countsByYear W20654639462017 @default.
• W2065463946 countsByYear W20654639462018 @default.
• W2065463946 countsByYear W20654639462019 @default.
• W2065463946 countsByYear W20654639462020 @default.
• W2065463946 crossrefType "journal-article" @default.
• W2065463946 hasAuthorship W2065463946A5002444021 @default.
• W2065463946 hasAuthorship W2065463946A5019358632 @default.
• W2065463946 hasAuthorship W2065463946A5086903137 @default.
• W2065463946 hasBestOaLocation W20654639462 @default.
• W2065463946 hasConcept C102993220 @default.
• W2065463946 hasConcept C107247716 @default.
• W2065463946 hasConcept C108710211 @default.
• W2065463946 hasConcept C111404639 @default.
• W2065463946 hasConcept C111472728 @default.
• W2065463946 hasConcept C11191006 @default.
• W2065463946 hasConcept C114092440 @default.
• W2065463946 hasConcept C118615104 @default.
• W2065463946 hasConcept C134752490 @default.
• W2065463946 hasConcept C138885662 @default.
• W2065463946 hasConcept C154945302 @default.
• W2065463946 hasConcept C17744445 @default.
• W2065463946 hasConcept C185592680 @default.
• W2065463946 hasConcept C188027245 @default.
• W2065463946 hasConcept C189950617 @default.
• W2065463946 hasConcept C195244886 @default.
• W2065463946 hasConcept C199343813 @default.
• W2065463946 hasConcept C199539241 @default.
• W2065463946 hasConcept C203659156 @default.
• W2065463946 hasConcept C2524010 @default.
• W2065463946 hasConcept C27508121 @default.
• W2065463946 hasConcept C2777686260 @default.
• W2065463946 hasConcept C2780708616 @default.
• W2065463946 hasConcept C2983722596 @default.
• W2065463946 hasConcept C31084985 @default.
• W2065463946 hasConcept C33923547 @default.
• W2065463946 hasConcept C41008148 @default.
• W2065463946 hasConcept C62073222 @default.
• W2065463946 hasConcept C6489637 @default.
• W2065463946 hasConcept C65880906 @default.
• W2065463946 hasConcept C71139939 @default.
• W2065463946 hasConcept C71924100 @default.
• W2065463946 hasConcept C86511162 @default.
• W2065463946 hasConcept C89421646 @default.
• W2065463946 hasConcept C95457728 @default.
• W2065463946 hasConceptScore W2065463946C102993220 @default.
• W2065463946 hasConceptScore W2065463946C107247716 @default.
• W2065463946 hasConceptScore W2065463946C108710211 @default.
• W2065463946 hasConceptScore W2065463946C111404639 @default.
• W2065463946 hasConceptScore W2065463946C111472728 @default.
• W2065463946 hasConceptScore W2065463946C11191006 @default.
• W2065463946 hasConceptScore W2065463946C114092440 @default.
• W2065463946 hasConceptScore W2065463946C118615104 @default.
• W2065463946 hasConceptScore W2065463946C134752490 @default.
• W2065463946 hasConceptScore W2065463946C138885662 @default.
• W2065463946 hasConceptScore W2065463946C154945302 @default.
• W2065463946 hasConceptScore W2065463946C17744445 @default.
• W2065463946 hasConceptScore W2065463946C185592680 @default.
• W2065463946 hasConceptScore W2065463946C188027245 @default.
• W2065463946 hasConceptScore W2065463946C189950617 @default.
• W2065463946 hasConceptScore W2065463946C195244886 @default.
• W2065463946 hasConceptScore W2065463946C199343813 @default.
• W2065463946 hasConceptScore W2065463946C199539241 @default.
• W2065463946 hasConceptScore W2065463946C203659156 @default.
• W2065463946 hasConceptScore W2065463946C2524010 @default.
• W2065463946 hasConceptScore W2065463946C27508121 @default.
• W2065463946 hasConceptScore W2065463946C2777686260 @default.
• W2065463946 hasConceptScore W2065463946C2780708616 @default.
• W2065463946 hasConceptScore W2065463946C2983722596 @default.
• W2065463946 hasConceptScore W2065463946C31084985 @default.
• W2065463946 hasConceptScore W2065463946C33923547 @default.
• W2065463946 hasConceptScore W2065463946C41008148 @default.
• W2065463946 hasConceptScore W2065463946C62073222 @default.
• W2065463946 hasConceptScore W2065463946C6489637 @default.
• W2065463946 hasConceptScore W2065463946C65880906 @default.
• W2065463946 hasConceptScore W2065463946C71139939 @default.

• next