Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065285281> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2065285281 endingPage "290" @default.
- W2065285281 startingPage "249" @default.
- W2065285281 abstract "Abstract PA is Peano Arithmetic. Pr( x ) is the usual Σ 1 ,-formula representing provability in PA. A strong provability predicate is a formula which has the same properties as Pr(·) but is not Σ 1 . An example: Q is ω -provable if PA + ¬ Q is ω -inconsistent (Boolos [4]). In [5] Dzhaparidze introduced a joint provability logic for iterated ω -provability and obtained its arithmetical completeness. In this paper we prove some further modal properties of Dzhaparidze's logic, e.g., the fixed point property and the Craig interpolation lemma. We also consider other examples of the strong provability predicates and their applications." @default.
- W2065285281 created "2016-06-24" @default.
- W2065285281 creator A5025326824 @default.
- W2065285281 date "1993-03-01" @default.
- W2065285281 modified "2023-10-16" @default.
- W2065285281 title "On strong provability predicates and the associated modal logics" @default.
- W2065285281 cites W1967494737 @default.
- W2065285281 cites W2037176489 @default.
- W2065285281 cites W2059933820 @default.
- W2065285281 doi "https://doi.org/10.2307/2275337" @default.
- W2065285281 hasPublicationYear "1993" @default.
- W2065285281 type Work @default.
- W2065285281 sameAs 2065285281 @default.
- W2065285281 citedByCount "75" @default.
- W2065285281 countsByYear W20652852812012 @default.
- W2065285281 countsByYear W20652852812013 @default.
- W2065285281 countsByYear W20652852812014 @default.
- W2065285281 countsByYear W20652852812015 @default.
- W2065285281 countsByYear W20652852812016 @default.
- W2065285281 countsByYear W20652852812017 @default.
- W2065285281 countsByYear W20652852812018 @default.
- W2065285281 countsByYear W20652852812019 @default.
- W2065285281 countsByYear W20652852812020 @default.
- W2065285281 countsByYear W20652852812021 @default.
- W2065285281 countsByYear W20652852812022 @default.
- W2065285281 crossrefType "journal-article" @default.
- W2065285281 hasAuthorship W2065285281A5025326824 @default.
- W2065285281 hasConcept C118615104 @default.
- W2065285281 hasConcept C134306372 @default.
- W2065285281 hasConcept C140146324 @default.
- W2065285281 hasConcept C140479938 @default.
- W2065285281 hasConcept C185592680 @default.
- W2065285281 hasConcept C188027245 @default.
- W2065285281 hasConcept C199360897 @default.
- W2065285281 hasConcept C200116569 @default.
- W2065285281 hasConcept C33923547 @default.
- W2065285281 hasConcept C41008148 @default.
- W2065285281 hasConcept C71139939 @default.
- W2065285281 hasConcept C97489613 @default.
- W2065285281 hasConceptScore W2065285281C118615104 @default.
- W2065285281 hasConceptScore W2065285281C134306372 @default.
- W2065285281 hasConceptScore W2065285281C140146324 @default.
- W2065285281 hasConceptScore W2065285281C140479938 @default.
- W2065285281 hasConceptScore W2065285281C185592680 @default.
- W2065285281 hasConceptScore W2065285281C188027245 @default.
- W2065285281 hasConceptScore W2065285281C199360897 @default.
- W2065285281 hasConceptScore W2065285281C200116569 @default.
- W2065285281 hasConceptScore W2065285281C33923547 @default.
- W2065285281 hasConceptScore W2065285281C41008148 @default.
- W2065285281 hasConceptScore W2065285281C71139939 @default.
- W2065285281 hasConceptScore W2065285281C97489613 @default.
- W2065285281 hasIssue "1" @default.
- W2065285281 hasLocation W20652852811 @default.
- W2065285281 hasOpenAccess W2065285281 @default.
- W2065285281 hasPrimaryLocation W20652852811 @default.
- W2065285281 hasRelatedWork W142552190 @default.
- W2065285281 hasRelatedWork W1556782207 @default.
- W2065285281 hasRelatedWork W2003635053 @default.
- W2065285281 hasRelatedWork W2011911564 @default.
- W2065285281 hasRelatedWork W2037293272 @default.
- W2065285281 hasRelatedWork W2057179252 @default.
- W2065285281 hasRelatedWork W2623438580 @default.
- W2065285281 hasRelatedWork W2952852932 @default.
- W2065285281 hasRelatedWork W3037783357 @default.
- W2065285281 hasRelatedWork W4251525439 @default.
- W2065285281 hasVolume "58" @default.
- W2065285281 isParatext "false" @default.
- W2065285281 isRetracted "false" @default.
- W2065285281 magId "2065285281" @default.
- W2065285281 workType "article" @default.