FRINK Linked Data Fragments server

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

• W2109883950 endingPage "487" @default.
• W2109883950 startingPage "467" @default.
• W2109883950 abstract "Abstract We present an extension of the basic revision theory of circular definitions with a unary operator, □. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness theorem, using interpretations over circular definitions, analogous to Solovay’s completeness theorem for GL using arithmetical interpretations. We adapt our proof to a special class of circular definitions as well as to the first-order case." @default.
• W2109883950 created "2016-06-24" @default.
• W2109883950 creator A5000723552 @default.
• W2109883950 date "2015-02-03" @default.
• W2109883950 modified "2023-10-16" @default.
• W2109883950 title "SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS" @default.
• W2109883950 cites W1550505216 @default.
• W2109883950 cites W1986988225 @default.
• W2109883950 cites W1987172669 @default.
• W2109883950 cites W1991789010 @default.
• W2109883950 cites W2010506509 @default.
• W2109883950 cites W2014299754 @default.
• W2109883950 cites W2049250683 @default.
• W2109883950 cites W2049888592 @default.
• W2109883950 cites W2056221684 @default.
• W2109883950 cites W2059933820 @default.
• W2109883950 cites W2089177783 @default.
• W2109883950 cites W2097928766 @default.
• W2109883950 cites W2127287629 @default.
• W2109883950 cites W2142519180 @default.
• W2109883950 cites W2148907430 @default.
• W2109883950 cites W2561081585 @default.
• W2109883950 cites W4236292373 @default.
• W2109883950 cites W4247797067 @default.
• W2109883950 doi "https://doi.org/10.1017/s1755020314000458" @default.
• W2109883950 hasPublicationYear "2015" @default.
• W2109883950 type Work @default.
• W2109883950 sameAs 2109883950 @default.
• W2109883950 citedByCount "9" @default.
• W2109883950 countsByYear W21098839502016 @default.
• W2109883950 countsByYear W21098839502017 @default.
• W2109883950 countsByYear W21098839502018 @default.
• W2109883950 countsByYear W21098839502020 @default.
• W2109883950 countsByYear W21098839502022 @default.
• W2109883950 crossrefType "journal-article" @default.
• W2109883950 hasAuthorship W2109883950A5000723552 @default.
• W2109883950 hasBestOaLocation W21098839502 @default.
• W2109883950 hasConcept C104317684 @default.
• W2109883950 hasConcept C118615104 @default.
• W2109883950 hasConcept C134306372 @default.
• W2109883950 hasConcept C136119220 @default.
• W2109883950 hasConcept C154945302 @default.
• W2109883950 hasConcept C158448853 @default.
• W2109883950 hasConcept C17020691 @default.
• W2109883950 hasConcept C17231256 @default.
• W2109883950 hasConcept C185592680 @default.
• W2109883950 hasConcept C188027245 @default.
• W2109883950 hasConcept C199343813 @default.
• W2109883950 hasConcept C199360897 @default.
• W2109883950 hasConcept C200116569 @default.
• W2109883950 hasConcept C202444582 @default.
• W2109883950 hasConcept C27508121 @default.
• W2109883950 hasConcept C2777212361 @default.
• W2109883950 hasConcept C2777686260 @default.
• W2109883950 hasConcept C2778029271 @default.
• W2109883950 hasConcept C33923547 @default.
• W2109883950 hasConcept C41008148 @default.
• W2109883950 hasConcept C55493867 @default.
• W2109883950 hasConcept C71139939 @default.
• W2109883950 hasConcept C71924100 @default.
• W2109883950 hasConcept C78023250 @default.
• W2109883950 hasConcept C86339819 @default.
• W2109883950 hasConceptScore W2109883950C104317684 @default.
• W2109883950 hasConceptScore W2109883950C118615104 @default.
• W2109883950 hasConceptScore W2109883950C134306372 @default.
• W2109883950 hasConceptScore W2109883950C136119220 @default.
• W2109883950 hasConceptScore W2109883950C154945302 @default.
• W2109883950 hasConceptScore W2109883950C158448853 @default.
• W2109883950 hasConceptScore W2109883950C17020691 @default.
• W2109883950 hasConceptScore W2109883950C17231256 @default.
• W2109883950 hasConceptScore W2109883950C185592680 @default.
• W2109883950 hasConceptScore W2109883950C188027245 @default.
• W2109883950 hasConceptScore W2109883950C199343813 @default.
• W2109883950 hasConceptScore W2109883950C199360897 @default.
• W2109883950 hasConceptScore W2109883950C200116569 @default.
• W2109883950 hasConceptScore W2109883950C202444582 @default.
• W2109883950 hasConceptScore W2109883950C27508121 @default.
• W2109883950 hasConceptScore W2109883950C2777212361 @default.
• W2109883950 hasConceptScore W2109883950C2777686260 @default.
• W2109883950 hasConceptScore W2109883950C2778029271 @default.
• W2109883950 hasConceptScore W2109883950C33923547 @default.
• W2109883950 hasConceptScore W2109883950C41008148 @default.
• W2109883950 hasConceptScore W2109883950C55493867 @default.
• W2109883950 hasConceptScore W2109883950C71139939 @default.
• W2109883950 hasConceptScore W2109883950C71924100 @default.
• W2109883950 hasConceptScore W2109883950C78023250 @default.
• W2109883950 hasConceptScore W2109883950C86339819 @default.
• W2109883950 hasIssue "3" @default.
• W2109883950 hasLocation W21098839501 @default.
• W2109883950 hasLocation W21098839502 @default.
• W2109883950 hasOpenAccess W2109883950 @default.
• W2109883950 hasPrimaryLocation W21098839501 @default.
• W2109883950 hasRelatedWork W1919037109 @default.
• W2109883950 hasRelatedWork W2014565657 @default.
• W2109883950 hasRelatedWork W2016517914 @default.
• W2109883950 hasRelatedWork W2028164131 @default.
• W2109883950 hasRelatedWork W2086979258 @default.
• W2109883950 hasRelatedWork W2099036216 @default.

• next