About: Logics for computability

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

unknown

Property	Value
dbo:wikiPageExternalLink	https://web.archive.org/web/20160303174250/http:/www.csc.villanova.edu/~japaridz/CL/gsoll.html https://web.archive.org/web/20190419120954/http:/www.csc.villanova.edu/~japaridz/ https://www.cs.cmu.edu/Groups/LTC/ https://webspace.science.uu.nl/~ooste110/studsemIntMod/Kleene45.pdf https://www.sciencedirect.com/science/article/pii/S016800720300023X/pdf%3Fmd5=17a6ad155f7b48e1a9f8185b2852a372&pid=1-s2.0-S016800720300023X-main.pdf https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/local-realizability-toposes-and-a-modal-logic-for-computability/31CB99D5D9210A9716EF4E7DFD4A204C https://web.archive.org/web/20110411024825/http:/www.cis.upenn.edu/~giorgi/cl.html
dbo:wikiPageWikiLink	dbr:Lars_Birkedal dbr:Dana_Scott dbr:Steve_Awodey dbr:Modal_logic dbr:Interactive_computation dbr:Computability dbr:Linear_logic dbr:Intuitionistic_logic dbr:Martin_Hyland dbr:Effective_topos dbc:Systems_of_formal_logic dbr:Logical_connective dbr:Giorgi_Japaridze dbr:Semantics dbr:Turing_machine dbr:Computability_logic dbr:Stephen_Kleene dbr:Game_semantics dbr:BHK_interpretation dbr:A._S._Troelstra dbr:Realizability_interpretation
dct:subject	dbc:Systems_of_formal_logic
gold:hypernym	dbr:Formulations
rdfs:label	Logics for computability (en) Lógica de computabilidade (pt)
owl:sameAs	yago-res:Logics for computability wikidata:Logics for computability dbpedia-pt:Logics for computability dbpedia-global:Logics for computability freebase:Logics for computability dbr:Logics for computability
prov:wasDerivedFrom	wikipedia-en:Logics_for_computability?oldid=1261217524&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Logics_for_computability
is dbo:wikiPageRedirects of	dbr:Modal_logic_for_computability
is dbo:wikiPageWikiLink of	dbr:Logical_machine dbr:Computability_logic dbr:Krishnendu_Chatterjee dbr:Modal_logic_for_computability
is foaf:primaryTopic of	wikipedia-en:Logics_for_computability