FRINK Linked Data Fragments server

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

• W2092883160 endingPage "357" @default.
• W2092883160 startingPage "331" @default.
• W2092883160 abstract "Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula ϕ, the deduction chains of ϕ are built up by systematically decomposing ϕ into its subformulae. In the case where ϕ is a valid formula, the decomposition yields a (usually cut-free) proof of ϕ. If ϕ is not valid, the decomposition produces a countermodel for ϕ. In the current paper, we extend this technique to a semiformal system for the Logic of Common Knowledge. The presence of fixed point constructs in this logic leads to potentially infinite-length deduction chains of a non-valid formula, in which case fairness of decomposition requires special attention. An adequate order of decomposition also plays an important role in the reconstruction of the proof of a valid formula from the set of its deduction chains." @default.
• W2092883160 created "2016-06-24" @default.
• W2092883160 creator A5002444021 @default.
• W2092883160 creator A5086903137 @default.
• W2092883160 date "2006-09-01" @default.
• W2092883160 modified "2023-10-16" @default.
• W2092883160 title "Deduction chains for common knowledge" @default.
• W2092883160 cites W1540023260 @default.
• W2092883160 cites W1556453281 @default.
• W2092883160 cites W1587799979 @default.
• W2092883160 cites W1602067282 @default.
• W2092883160 cites W1793763201 @default.
• W2092883160 cites W198973586 @default.
• W2092883160 cites W2000451268 @default.
• W2092883160 cites W2015640848 @default.
• W2092883160 cites W2022205872 @default.
• W2092883160 cites W2058431170 @default.
• W2092883160 cites W2087735141 @default.
• W2092883160 cites W2146819619 @default.
• W2092883160 cites W2906785358 @default.
• W2092883160 cites W3038873949 @default.
• W2092883160 cites W3140030144 @default.
• W2092883160 cites W608002378 @default.
• W2092883160 cites W649438156 @default.
• W2092883160 doi "https://doi.org/10.1016/j.jal.2005.06.011" @default.
• W2092883160 hasPublicationYear "2006" @default.
• W2092883160 type Work @default.
• W2092883160 sameAs 2092883160 @default.
• W2092883160 citedByCount "5" @default.
• W2092883160 countsByYear W20928831602016 @default.
• W2092883160 countsByYear W20928831602018 @default.
• W2092883160 crossrefType "journal-article" @default.
• W2092883160 hasAuthorship W2092883160A5002444021 @default.
• W2092883160 hasAuthorship W2092883160A5086903137 @default.
• W2092883160 hasConcept C108710211 @default.
• W2092883160 hasConcept C11413529 @default.
• W2092883160 hasConcept C118615104 @default.
• W2092883160 hasConcept C124681953 @default.
• W2092883160 hasConcept C134306372 @default.
• W2092883160 hasConcept C136119220 @default.
• W2092883160 hasConcept C17231256 @default.
• W2092883160 hasConcept C177264268 @default.
• W2092883160 hasConcept C18903297 @default.
• W2092883160 hasConcept C199343813 @default.
• W2092883160 hasConcept C199360897 @default.
• W2092883160 hasConcept C202444582 @default.
• W2092883160 hasConcept C202854965 @default.
• W2092883160 hasConcept C2524010 @default.
• W2092883160 hasConcept C2777686260 @default.
• W2092883160 hasConcept C2778701210 @default.
• W2092883160 hasConcept C33923547 @default.
• W2092883160 hasConcept C41008148 @default.
• W2092883160 hasConcept C62073222 @default.
• W2092883160 hasConcept C65880906 @default.
• W2092883160 hasConcept C71924100 @default.
• W2092883160 hasConcept C86803240 @default.
• W2092883160 hasConcept C98045186 @default.
• W2092883160 hasConceptScore W2092883160C108710211 @default.
• W2092883160 hasConceptScore W2092883160C11413529 @default.
• W2092883160 hasConceptScore W2092883160C118615104 @default.
• W2092883160 hasConceptScore W2092883160C124681953 @default.
• W2092883160 hasConceptScore W2092883160C134306372 @default.
• W2092883160 hasConceptScore W2092883160C136119220 @default.
• W2092883160 hasConceptScore W2092883160C17231256 @default.
• W2092883160 hasConceptScore W2092883160C177264268 @default.
• W2092883160 hasConceptScore W2092883160C18903297 @default.
• W2092883160 hasConceptScore W2092883160C199343813 @default.
• W2092883160 hasConceptScore W2092883160C199360897 @default.
• W2092883160 hasConceptScore W2092883160C202444582 @default.
• W2092883160 hasConceptScore W2092883160C202854965 @default.
• W2092883160 hasConceptScore W2092883160C2524010 @default.
• W2092883160 hasConceptScore W2092883160C2777686260 @default.
• W2092883160 hasConceptScore W2092883160C2778701210 @default.
• W2092883160 hasConceptScore W2092883160C33923547 @default.
• W2092883160 hasConceptScore W2092883160C41008148 @default.
• W2092883160 hasConceptScore W2092883160C62073222 @default.
• W2092883160 hasConceptScore W2092883160C65880906 @default.
• W2092883160 hasConceptScore W2092883160C71924100 @default.
• W2092883160 hasConceptScore W2092883160C86803240 @default.
• W2092883160 hasConceptScore W2092883160C98045186 @default.
• W2092883160 hasIssue "3" @default.
• W2092883160 hasLocation W20928831601 @default.
• W2092883160 hasOpenAccess W2092883160 @default.
• W2092883160 hasPrimaryLocation W20928831601 @default.
• W2092883160 hasRelatedWork W1894081149 @default.
• W2092883160 hasRelatedWork W1991664539 @default.
• W2092883160 hasRelatedWork W2078790484 @default.
• W2092883160 hasRelatedWork W24230205 @default.
• W2092883160 hasRelatedWork W3094156094 @default.
• W2092883160 hasRelatedWork W3112266304 @default.
• W2092883160 hasRelatedWork W3160700379 @default.
• W2092883160 hasRelatedWork W3212503723 @default.
• W2092883160 hasRelatedWork W350561797 @default.
• W2092883160 hasRelatedWork W2183851921 @default.
• W2092883160 hasVolume "4" @default.
• W2092883160 isParatext "false" @default.
• W2092883160 isRetracted "false" @default.
• W2092883160 magId "2092883160" @default.

• next