FRINK Linked Data Fragments server

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

• W3166313076 abstract "In this paper we analyze the connection between reflexive-insensitive modal logics, logics of provability, and the modal logic of forcing. Because of the inter-definability of the ∘-operator that characterizes the reflexive-insensitive logics and Boolos’s ⊡-operator, characterization results for the reflexive-insensitive logics can be used to give a partial solution of the boxdot conjecture, and to illuminate some closely related problems. In turn, this will facilitate the application of reflexive-insensitive logics to the study of the modal logic of forcing and truth and the logic of forcing persistent sentences. We then show that the modal logic of forcing, the modal logic of forcing and truth, and the modal logic of forcing persistency give rise to the same characterizability results. We conclude by arguing that the modal logic of forcing should be better understood as the modal logic of generic absoluteness." @default.
• W3166313076 created "2021-06-22" @default.
• W3166313076 creator A5032935196 @default.
• W3166313076 creator A5080587275 @default.
• W3166313076 date "2021-05-01" @default.
• W3166313076 modified "2023-10-14" @default.
• W3166313076 title "Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness" @default.
• W3166313076 cites W106380937 @default.
• W3166313076 cites W176873335 @default.
• W3166313076 cites W1963857568 @default.
• W3166313076 cites W1988045504 @default.
• W3166313076 cites W2028311000 @default.
• W3166313076 cites W2035120169 @default.
• W3166313076 cites W2059933820 @default.
• W3166313076 cites W2069506349 @default.
• W3166313076 cites W2122381082 @default.
• W3166313076 cites W2161747422 @default.
• W3166313076 cites W2253605250 @default.
• W3166313076 cites W2620475325 @default.
• W3166313076 cites W3124465089 @default.
• W3166313076 cites W4213174560 @default.
• W3166313076 cites W4250241526 @default.
• W3166313076 doi "https://doi.org/10.1215/00294527-2021-0014" @default.
• W3166313076 hasPublicationYear "2021" @default.
• W3166313076 type Work @default.
• W3166313076 sameAs 3166313076 @default.
• W3166313076 citedByCount "0" @default.
• W3166313076 crossrefType "journal-article" @default.
• W3166313076 hasAuthorship W3166313076A5032935196 @default.
• W3166313076 hasAuthorship W3166313076A5080587275 @default.
• W3166313076 hasConcept C102993220 @default.
• W3166313076 hasConcept C111472728 @default.
• W3166313076 hasConcept C11191006 @default.
• W3166313076 hasConcept C114092440 @default.
• W3166313076 hasConcept C118615104 @default.
• W3166313076 hasConcept C13200473 @default.
• W3166313076 hasConcept C134306372 @default.
• W3166313076 hasConcept C136119220 @default.
• W3166313076 hasConcept C138885662 @default.
• W3166313076 hasConcept C144024400 @default.
• W3166313076 hasConcept C178421362 @default.
• W3166313076 hasConcept C185592680 @default.
• W3166313076 hasConcept C188027245 @default.
• W3166313076 hasConcept C192609573 @default.
• W3166313076 hasConcept C197115733 @default.
• W3166313076 hasConcept C202444582 @default.
• W3166313076 hasConcept C203659156 @default.
• W3166313076 hasConcept C27508121 @default.
• W3166313076 hasConcept C2780102774 @default.
• W3166313076 hasConcept C33923547 @default.
• W3166313076 hasConcept C36289849 @default.
• W3166313076 hasConcept C41008148 @default.
• W3166313076 hasConcept C69562738 @default.
• W3166313076 hasConcept C71139939 @default.
• W3166313076 hasConcept C78344899 @default.
• W3166313076 hasConcept C80444323 @default.
• W3166313076 hasConceptScore W3166313076C102993220 @default.
• W3166313076 hasConceptScore W3166313076C111472728 @default.
• W3166313076 hasConceptScore W3166313076C11191006 @default.
• W3166313076 hasConceptScore W3166313076C114092440 @default.
• W3166313076 hasConceptScore W3166313076C118615104 @default.
• W3166313076 hasConceptScore W3166313076C13200473 @default.
• W3166313076 hasConceptScore W3166313076C134306372 @default.
• W3166313076 hasConceptScore W3166313076C136119220 @default.
• W3166313076 hasConceptScore W3166313076C138885662 @default.
• W3166313076 hasConceptScore W3166313076C144024400 @default.
• W3166313076 hasConceptScore W3166313076C178421362 @default.
• W3166313076 hasConceptScore W3166313076C185592680 @default.
• W3166313076 hasConceptScore W3166313076C188027245 @default.
• W3166313076 hasConceptScore W3166313076C192609573 @default.
• W3166313076 hasConceptScore W3166313076C197115733 @default.
• W3166313076 hasConceptScore W3166313076C202444582 @default.
• W3166313076 hasConceptScore W3166313076C203659156 @default.
• W3166313076 hasConceptScore W3166313076C27508121 @default.
• W3166313076 hasConceptScore W3166313076C2780102774 @default.
• W3166313076 hasConceptScore W3166313076C33923547 @default.
• W3166313076 hasConceptScore W3166313076C36289849 @default.
• W3166313076 hasConceptScore W3166313076C41008148 @default.
• W3166313076 hasConceptScore W3166313076C69562738 @default.
• W3166313076 hasConceptScore W3166313076C71139939 @default.
• W3166313076 hasConceptScore W3166313076C78344899 @default.
• W3166313076 hasConceptScore W3166313076C80444323 @default.
• W3166313076 hasIssue "2" @default.
• W3166313076 hasLocation W31663130761 @default.
• W3166313076 hasOpenAccess W3166313076 @default.
• W3166313076 hasPrimaryLocation W31663130761 @default.
• W3166313076 hasRelatedWork W1521977880 @default.
• W3166313076 hasRelatedWork W1537541219 @default.
• W3166313076 hasRelatedWork W1538772034 @default.
• W3166313076 hasRelatedWork W1978559879 @default.
• W3166313076 hasRelatedWork W2077061463 @default.
• W3166313076 hasRelatedWork W2101793126 @default.
• W3166313076 hasRelatedWork W2188462059 @default.
• W3166313076 hasRelatedWork W2271944696 @default.
• W3166313076 hasRelatedWork W2534562289 @default.
• W3166313076 hasRelatedWork W3166313076 @default.
• W3166313076 hasVolume "62" @default.
• W3166313076 isParatext "false" @default.
• W3166313076 isRetracted "false" @default.
• W3166313076 magId "3166313076" @default.

• next