FRINK Linked Data Fragments server

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

• W1528689085 abstract "Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses." @default.
• W1528689085 created "2016-06-24" @default.
• W1528689085 creator A5060634867 @default.
• W1528689085 date "1996-03-29" @default.
• W1528689085 modified "2023-10-01" @default.
• W1528689085 title "Extensions of First-Order Logic" @default.
• W1528689085 hasPublicationYear "1996" @default.
• W1528689085 type Work @default.
• W1528689085 sameAs 1528689085 @default.
• W1528689085 citedByCount "60" @default.
• W1528689085 countsByYear W15286890852012 @default.
• W1528689085 countsByYear W15286890852013 @default.
• W1528689085 countsByYear W15286890852014 @default.
• W1528689085 countsByYear W15286890852015 @default.
• W1528689085 countsByYear W15286890852016 @default.
• W1528689085 countsByYear W15286890852017 @default.
• W1528689085 countsByYear W15286890852019 @default.
• W1528689085 crossrefType "book" @default.
• W1528689085 hasAuthorship W1528689085A5060634867 @default.
• W1528689085 hasConcept C100481476 @default.
• W1528689085 hasConcept C101874905 @default.
• W1528689085 hasConcept C102993220 @default.
• W1528689085 hasConcept C108710211 @default.
• W1528689085 hasConcept C11413529 @default.
• W1528689085 hasConcept C119599485 @default.
• W1528689085 hasConcept C124047733 @default.
• W1528689085 hasConcept C127413603 @default.
• W1528689085 hasConcept C144791301 @default.
• W1528689085 hasConcept C159718280 @default.
• W1528689085 hasConcept C165801399 @default.
• W1528689085 hasConcept C169896238 @default.
• W1528689085 hasConcept C172385210 @default.
• W1528689085 hasConcept C185592680 @default.
• W1528689085 hasConcept C188027245 @default.
• W1528689085 hasConcept C199343813 @default.
• W1528689085 hasConcept C199360897 @default.
• W1528689085 hasConcept C203659156 @default.
• W1528689085 hasConcept C206880738 @default.
• W1528689085 hasConcept C2524010 @default.
• W1528689085 hasConcept C27508121 @default.
• W1528689085 hasConcept C2777686260 @default.
• W1528689085 hasConcept C2777796570 @default.
• W1528689085 hasConcept C33923547 @default.
• W1528689085 hasConcept C41008148 @default.
• W1528689085 hasConcept C47884741 @default.
• W1528689085 hasConcept C71139939 @default.
• W1528689085 hasConcept C71924100 @default.
• W1528689085 hasConcept C80444323 @default.
• W1528689085 hasConceptScore W1528689085C100481476 @default.
• W1528689085 hasConceptScore W1528689085C101874905 @default.
• W1528689085 hasConceptScore W1528689085C102993220 @default.
• W1528689085 hasConceptScore W1528689085C108710211 @default.
• W1528689085 hasConceptScore W1528689085C11413529 @default.
• W1528689085 hasConceptScore W1528689085C119599485 @default.
• W1528689085 hasConceptScore W1528689085C124047733 @default.
• W1528689085 hasConceptScore W1528689085C127413603 @default.
• W1528689085 hasConceptScore W1528689085C144791301 @default.
• W1528689085 hasConceptScore W1528689085C159718280 @default.
• W1528689085 hasConceptScore W1528689085C165801399 @default.
• W1528689085 hasConceptScore W1528689085C169896238 @default.
• W1528689085 hasConceptScore W1528689085C172385210 @default.
• W1528689085 hasConceptScore W1528689085C185592680 @default.
• W1528689085 hasConceptScore W1528689085C188027245 @default.
• W1528689085 hasConceptScore W1528689085C199343813 @default.
• W1528689085 hasConceptScore W1528689085C199360897 @default.
• W1528689085 hasConceptScore W1528689085C203659156 @default.
• W1528689085 hasConceptScore W1528689085C206880738 @default.
• W1528689085 hasConceptScore W1528689085C2524010 @default.
• W1528689085 hasConceptScore W1528689085C27508121 @default.
• W1528689085 hasConceptScore W1528689085C2777686260 @default.
• W1528689085 hasConceptScore W1528689085C2777796570 @default.
• W1528689085 hasConceptScore W1528689085C33923547 @default.
• W1528689085 hasConceptScore W1528689085C41008148 @default.
• W1528689085 hasConceptScore W1528689085C47884741 @default.
• W1528689085 hasConceptScore W1528689085C71139939 @default.
• W1528689085 hasConceptScore W1528689085C71924100 @default.
• W1528689085 hasConceptScore W1528689085C80444323 @default.
• W1528689085 hasLocation W15286890851 @default.
• W1528689085 hasOpenAccess W1528689085 @default.
• W1528689085 hasPrimaryLocation W15286890851 @default.
• W1528689085 hasRelatedWork W1508653096 @default.
• W1528689085 hasRelatedWork W1556189547 @default.
• W1528689085 hasRelatedWork W1572932467 @default.
• W1528689085 hasRelatedWork W1970326724 @default.
• W1528689085 hasRelatedWork W1996404651 @default.
• W1528689085 hasRelatedWork W2011903527 @default.
• W1528689085 hasRelatedWork W2022607815 @default.
• W1528689085 hasRelatedWork W2038809129 @default.
• W1528689085 hasRelatedWork W2039048406 @default.
• W1528689085 hasRelatedWork W2055655687 @default.
• W1528689085 hasRelatedWork W2090190027 @default.
• W1528689085 hasRelatedWork W2105505307 @default.
• W1528689085 hasRelatedWork W2106192381 @default.
• W1528689085 hasRelatedWork W2126920614 @default.
• W1528689085 hasRelatedWork W2140209236 @default.
• W1528689085 hasRelatedWork W2160331299 @default.
• W1528689085 hasRelatedWork W2899987233 @default.
• W1528689085 hasRelatedWork W2913459036 @default.
• W1528689085 hasRelatedWork W2948584963 @default.
• W1528689085 hasRelatedWork W2167708957 @default.

• next