About: Algorithmic logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Logic for mathematics

Property	Value
dbo:description	logic for mathematics (en)
dbo:wikiPageExternalLink	http://lem12.uksw.edu.pl/images/3/35/Algorithmic_Logic.pdf%7Cyear=1987%7Cpublisher=PWN https://archive.org/details/dynamiclogicfoun00davi_0%7Curl-access=registration%7C https://archive.org/details/dynamiclogicfoun00davi_0/page/459 http://lem12.uksw.edu.pl/images/4/42/Bcp211.pdf
dbo:wikiPageWikiLink	dbr:First-order_logic dbr:Semantic_property dbr:Software_framework dbr:Term_(logic) dbr:Algorithm dbc:Algorithms dbc:Theoretical_computer_science dbr:Data_structure dbr:Axiom dbr:Dynamic_logic_(modal_logic) dbr:Mathematical_logic dbr:Formula
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Original_research dbt:Mathlogic-stub dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Algorithms dbc:Theoretical_computer_science
rdfs:label	Algorithmic logic (en) Logika algorytmiczna (pl)
owl:sameAs	freebase:Algorithmic logic yago-res:Algorithmic logic wikidata:Algorithmic logic dbpedia-pl:Algorithmic logic dbpedia-global:Algorithmic logic
prov:wasDerivedFrom	wikipedia-en:Algorithmic_logic?oldid=1282388600&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Algorithmic_logic
is dbo:wikiPageWikiLink of	dbr:Laurie_Spiegel dbr:Dynamic_logic_(modal_logic)
is foaf:primaryTopic of	wikipedia-en:Algorithmic_logic

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