About: Extensions of First Order Logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Fixed-point_logic dbc:1996_non-fiction_books dbc:Mathematics_books dbr:Sequent_calculus dbr:Many-sorted_logic dbr:Cambridge_University_Press dbr:First-order_logic dbr:Leon_Henkin dbr:Non-monotonic_logic dbr:Gödel's_incompleteness_theorems dbr:Type_theory dbr:Compactness_theorem dbr:Modal_logic dbc:Mathematical_logic dbr:Montague_grammar dbr:Dynamic_logic_(modal_logic) dbr:Mathematical_logic dbr:Second-order_arithmetic dbr:Second-order_logic dbr:María_Manzano dbr:Peano_arithmetic
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:R dbt:Italic_title
dct:subject	dbc:1996_non-fiction_books dbc:Mathematics_books dbc:Mathematical_logic
rdfs:label	Extensions of First Order Logic (en)
owl:sameAs	wikidata:Extensions of First Order Logic dbpedia-global:Extensions of First Order Logic dbr:Extensions of First Order Logic
prov:wasDerivedFrom	wikipedia-en:Extensions_of_First_Order_Logic?oldid=1059769800&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Extensions_of_First_Order_Logic
is dbo:wikiPageWikiLink of	dbr:María_Manzano
is foaf:primaryTopic of	wikipedia-en:Extensions_of_First_Order_Logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International