FRINK Linked Data Fragments server

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

• W3118152182 abstract "Linnebo and Shapiro have recently given an analysis of potential infinity using modal logic. A key technical component of their account is to show that under a suitable translation ◊ of nonmodal language into modal language, nonmodal sentences ϕ 1 , … , ϕ n entail ψ just in case ϕ 1 ◊ , … , ϕ n ◊ entail ψ ◊ in the modal logic S4.2. Linnebo and Shapiro establish this result in nonfree logic. In this note I argue that their analysis of potential infinity should be carried out in a free logic. I then extend their key theorems to the setting of negative free logic." @default.
• W3118152182 created "2021-01-05" @default.
• W3118152182 creator A5037482669 @default.
• W3118152182 date "2020-11-01" @default.
• W3118152182 modified "2023-09-25" @default.
• W3118152182 title "Mirroring Theorems in Free Logic" @default.
• W3118152182 cites W1572451808 @default.
• W3118152182 cites W1783953041 @default.
• W3118152182 cites W2070761857 @default.
• W3118152182 cites W2164441012 @default.
• W3118152182 cites W2166833596 @default.
• W3118152182 cites W2743299449 @default.
• W3118152182 cites W3067920966 @default.
• W3118152182 cites W4247797067 @default.
• W3118152182 cites W49329176 @default.
• W3118152182 cites W6094967 @default.
• W3118152182 doi "https://doi.org/10.1215/00294527-2020-0020" @default.
• W3118152182 hasPublicationYear "2020" @default.
• W3118152182 type Work @default.
• W3118152182 sameAs 3118152182 @default.
• W3118152182 citedByCount "1" @default.
• W3118152182 countsByYear W31181521822021 @default.
• W3118152182 crossrefType "journal-article" @default.
• W3118152182 hasAuthorship W3118152182A5037482669 @default.
• W3118152182 hasConcept C104317684 @default.
• W3118152182 hasConcept C105580179 @default.
• W3118152182 hasConcept C11191006 @default.
• W3118152182 hasConcept C114092440 @default.
• W3118152182 hasConcept C118615104 @default.
• W3118152182 hasConcept C121332964 @default.
• W3118152182 hasConcept C134306372 @default.
• W3118152182 hasConcept C136119220 @default.
• W3118152182 hasConcept C144024400 @default.
• W3118152182 hasConcept C149364088 @default.
• W3118152182 hasConcept C165801399 @default.
• W3118152182 hasConcept C172385210 @default.
• W3118152182 hasConcept C173125200 @default.
• W3118152182 hasConcept C185592680 @default.
• W3118152182 hasConcept C188027245 @default.
• W3118152182 hasConcept C189645446 @default.
• W3118152182 hasConcept C199343813 @default.
• W3118152182 hasConcept C202444582 @default.
• W3118152182 hasConcept C26517878 @default.
• W3118152182 hasConcept C27508121 @default.
• W3118152182 hasConcept C2777686260 @default.
• W3118152182 hasConcept C2777796570 @default.
• W3118152182 hasConcept C33923547 @default.
• W3118152182 hasConcept C38652104 @default.
• W3118152182 hasConcept C41008148 @default.
• W3118152182 hasConcept C46312422 @default.
• W3118152182 hasConcept C55493867 @default.
• W3118152182 hasConcept C62520636 @default.
• W3118152182 hasConcept C71139939 @default.
• W3118152182 hasConcept C71924100 @default.
• W3118152182 hasConcept C7321624 @default.
• W3118152182 hasConceptScore W3118152182C104317684 @default.
• W3118152182 hasConceptScore W3118152182C105580179 @default.
• W3118152182 hasConceptScore W3118152182C11191006 @default.
• W3118152182 hasConceptScore W3118152182C114092440 @default.
• W3118152182 hasConceptScore W3118152182C118615104 @default.
• W3118152182 hasConceptScore W3118152182C121332964 @default.
• W3118152182 hasConceptScore W3118152182C134306372 @default.
• W3118152182 hasConceptScore W3118152182C136119220 @default.
• W3118152182 hasConceptScore W3118152182C144024400 @default.
• W3118152182 hasConceptScore W3118152182C149364088 @default.
• W3118152182 hasConceptScore W3118152182C165801399 @default.
• W3118152182 hasConceptScore W3118152182C172385210 @default.
• W3118152182 hasConceptScore W3118152182C173125200 @default.
• W3118152182 hasConceptScore W3118152182C185592680 @default.
• W3118152182 hasConceptScore W3118152182C188027245 @default.
• W3118152182 hasConceptScore W3118152182C189645446 @default.
• W3118152182 hasConceptScore W3118152182C199343813 @default.
• W3118152182 hasConceptScore W3118152182C202444582 @default.
• W3118152182 hasConceptScore W3118152182C26517878 @default.
• W3118152182 hasConceptScore W3118152182C27508121 @default.
• W3118152182 hasConceptScore W3118152182C2777686260 @default.
• W3118152182 hasConceptScore W3118152182C2777796570 @default.
• W3118152182 hasConceptScore W3118152182C33923547 @default.
• W3118152182 hasConceptScore W3118152182C38652104 @default.
• W3118152182 hasConceptScore W3118152182C41008148 @default.
• W3118152182 hasConceptScore W3118152182C46312422 @default.
• W3118152182 hasConceptScore W3118152182C55493867 @default.
• W3118152182 hasConceptScore W3118152182C62520636 @default.
• W3118152182 hasConceptScore W3118152182C71139939 @default.
• W3118152182 hasConceptScore W3118152182C71924100 @default.
• W3118152182 hasConceptScore W3118152182C7321624 @default.
• W3118152182 hasIssue "4" @default.
• W3118152182 hasLocation W31181521821 @default.
• W3118152182 hasOpenAccess W3118152182 @default.
• W3118152182 hasPrimaryLocation W31181521821 @default.
• W3118152182 hasRelatedWork W1537541219 @default.
• W3118152182 hasRelatedWork W1566488688 @default.
• W3118152182 hasRelatedWork W201372017 @default.
• W3118152182 hasRelatedWork W2082558313 @default.
• W3118152182 hasRelatedWork W2101793126 @default.
• W3118152182 hasRelatedWork W2188462059 @default.
• W3118152182 hasRelatedWork W2534562289 @default.
• W3118152182 hasRelatedWork W3118152182 @default.
• W3118152182 hasRelatedWork W830045649 @default.
• W3118152182 hasRelatedWork W847027945 @default.

• next