Matches in SemOpenAlex for { <https://semopenalex.org/work/W88769070> ?p ?o ?g. }
- W88769070 endingPage "108" @default.
- W88769070 startingPage "87" @default.
- W88769070 abstract "Classical first-order logic can be extended in two different ways to serve as a foundation for mathematics: introduce higher orders, type theory, or introduce sets. As it happens, both approaches have natural analogs for quantified modal logics, both approaches date from the 1960’s, one is not very well-known, and the other is well-known as something else. I will present the basic semantic ideas of both higher order intensional logic, and intensional set theory. Before doing so, I’ll quickly sketch some necessary background material from quantified modal logic. Except for standard material concerning propositional modal logics, the paper is essentially self-contained." @default.
- W88769070 created "2016-06-24" @default.
- W88769070 creator A5086117892 @default.
- W88769070 date "2003-01-01" @default.
- W88769070 modified "2023-09-26" @default.
- W88769070 title "Intensional Logic— Beyond First Order" @default.
- W88769070 cites W133124514 @default.
- W88769070 cites W1574058751 @default.
- W88769070 cites W162942642 @default.
- W88769070 cites W1991697528 @default.
- W88769070 cites W2040406842 @default.
- W88769070 cites W2087811213 @default.
- W88769070 cites W2240818974 @default.
- W88769070 cites W4213174560 @default.
- W88769070 cites W4243558221 @default.
- W88769070 cites W4247797067 @default.
- W88769070 cites W4249355983 @default.
- W88769070 cites W794185885 @default.
- W88769070 cites W93751600 @default.
- W88769070 doi "https://doi.org/10.1007/978-94-017-3598-8_5" @default.
- W88769070 hasPublicationYear "2003" @default.
- W88769070 type Work @default.
- W88769070 sameAs 88769070 @default.
- W88769070 citedByCount "4" @default.
- W88769070 countsByYear W887690702017 @default.
- W88769070 crossrefType "book-chapter" @default.
- W88769070 hasAuthorship W88769070A5086117892 @default.
- W88769070 hasConcept C102993220 @default.
- W88769070 hasConcept C11191006 @default.
- W88769070 hasConcept C114092440 @default.
- W88769070 hasConcept C11413529 @default.
- W88769070 hasConcept C118615104 @default.
- W88769070 hasConcept C119599485 @default.
- W88769070 hasConcept C127413603 @default.
- W88769070 hasConcept C136119220 @default.
- W88769070 hasConcept C154945302 @default.
- W88769070 hasConcept C165801399 @default.
- W88769070 hasConcept C172385210 @default.
- W88769070 hasConcept C185592680 @default.
- W88769070 hasConcept C188027245 @default.
- W88769070 hasConcept C192609573 @default.
- W88769070 hasConcept C202444582 @default.
- W88769070 hasConcept C203659156 @default.
- W88769070 hasConcept C27508121 @default.
- W88769070 hasConcept C2777796570 @default.
- W88769070 hasConcept C2779231336 @default.
- W88769070 hasConcept C32241873 @default.
- W88769070 hasConcept C33923547 @default.
- W88769070 hasConcept C41008148 @default.
- W88769070 hasConcept C42011625 @default.
- W88769070 hasConcept C5263885 @default.
- W88769070 hasConcept C58166 @default.
- W88769070 hasConcept C69562738 @default.
- W88769070 hasConcept C71139939 @default.
- W88769070 hasConcept C78344899 @default.
- W88769070 hasConcept C80444323 @default.
- W88769070 hasConcept C86602344 @default.
- W88769070 hasConceptScore W88769070C102993220 @default.
- W88769070 hasConceptScore W88769070C11191006 @default.
- W88769070 hasConceptScore W88769070C114092440 @default.
- W88769070 hasConceptScore W88769070C11413529 @default.
- W88769070 hasConceptScore W88769070C118615104 @default.
- W88769070 hasConceptScore W88769070C119599485 @default.
- W88769070 hasConceptScore W88769070C127413603 @default.
- W88769070 hasConceptScore W88769070C136119220 @default.
- W88769070 hasConceptScore W88769070C154945302 @default.
- W88769070 hasConceptScore W88769070C165801399 @default.
- W88769070 hasConceptScore W88769070C172385210 @default.
- W88769070 hasConceptScore W88769070C185592680 @default.
- W88769070 hasConceptScore W88769070C188027245 @default.
- W88769070 hasConceptScore W88769070C192609573 @default.
- W88769070 hasConceptScore W88769070C202444582 @default.
- W88769070 hasConceptScore W88769070C203659156 @default.
- W88769070 hasConceptScore W88769070C27508121 @default.
- W88769070 hasConceptScore W88769070C2777796570 @default.
- W88769070 hasConceptScore W88769070C2779231336 @default.
- W88769070 hasConceptScore W88769070C32241873 @default.
- W88769070 hasConceptScore W88769070C33923547 @default.
- W88769070 hasConceptScore W88769070C41008148 @default.
- W88769070 hasConceptScore W88769070C42011625 @default.
- W88769070 hasConceptScore W88769070C5263885 @default.
- W88769070 hasConceptScore W88769070C58166 @default.
- W88769070 hasConceptScore W88769070C69562738 @default.
- W88769070 hasConceptScore W88769070C71139939 @default.
- W88769070 hasConceptScore W88769070C78344899 @default.
- W88769070 hasConceptScore W88769070C80444323 @default.
- W88769070 hasConceptScore W88769070C86602344 @default.
- W88769070 hasLocation W887690701 @default.
- W88769070 hasOpenAccess W88769070 @default.
- W88769070 hasPrimaryLocation W887690701 @default.
- W88769070 hasRelatedWork W1532762289 @default.
- W88769070 hasRelatedWork W1596801655 @default.
- W88769070 hasRelatedWork W2358668433 @default.
- W88769070 hasRelatedWork W2373011076 @default.
- W88769070 hasRelatedWork W2376932109 @default.
- W88769070 hasRelatedWork W2387147530 @default.
- W88769070 hasRelatedWork W2390279801 @default.
- W88769070 hasRelatedWork W2688602461 @default.