{"id":"https://openalex.org/W2156891281","doi":"https://doi.org/10.1017/s1755020314000434","title":"SUPERVALUATION ON TREES FOR KRIPKE\u2019S THEORY OF TRUTH","display_name":"SUPERVALUATION ON TREES FOR KRIPKE\u2019S THEORY OF TRUTH","publication_year":2014,"publication_date":"2014-12-15","ids":{"openalex":"https://openalex.org/W2156891281","doi":"https://doi.org/10.1017/s1755020314000434","mag":"2156891281"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020314000434","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020314000434","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090608813","display_name":"Casper Storm Hansen","orcid":"https://orcid.org/0000-0002-3536-4811"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"CASPER STORM HANSEN","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090608813"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.16663884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"1","first_page":"46","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.9829999804496765,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/explication","display_name":"Explication","score":0.8378480076789856},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.6025276184082031},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.5929398536682129},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5086363554000854},{"id":"https://openalex.org/keywords/semantic-theory-of-truth","display_name":"Semantic theory of truth","score":0.44499480724334717},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43465977907180786},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.4314422011375427},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.4298117160797119},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.41742151975631714},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37417012453079224},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3468545079231262},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.2675410211086273},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25827503204345703},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.07601886987686157},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.056258946657180786}],"concepts":[{"id":"https://openalex.org/C2781374135","wikidata":"https://www.wikidata.org/wiki/Q422898","display_name":"Explication","level":2,"score":0.8378480076789856},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.6025276184082031},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5929398536682129},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5086363554000854},{"id":"https://openalex.org/C39095165","wikidata":"https://www.wikidata.org/wiki/Q7449101","display_name":"Semantic theory of truth","level":2,"score":0.44499480724334717},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43465977907180786},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.4314422011375427},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.4298117160797119},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.41742151975631714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37417012453079224},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3468545079231262},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.2675410211086273},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25827503204345703},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.07601886987686157},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.056258946657180786},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.0},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1755020314000434","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020314000434","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W6204907","https://openalex.org/W46517763","https://openalex.org/W571263906","https://openalex.org/W1978407810","https://openalex.org/W2004077540","https://openalex.org/W2029634817","https://openalex.org/W2034396007","https://openalex.org/W2037319600","https://openalex.org/W2037341021","https://openalex.org/W2049250683","https://openalex.org/W2049888592","https://openalex.org/W2060513223","https://openalex.org/W2083316690","https://openalex.org/W2084589161","https://openalex.org/W2089177783","https://openalex.org/W2248695218","https://openalex.org/W2330520560","https://openalex.org/W2488562591","https://openalex.org/W2500044873","https://openalex.org/W2795828637","https://openalex.org/W4231575501","https://openalex.org/W4236292373","https://openalex.org/W4250295851","https://openalex.org/W4388215579","https://openalex.org/W4388222941"],"related_works":["https://openalex.org/W1998447124","https://openalex.org/W2383159230","https://openalex.org/W2042193210","https://openalex.org/W2073285694","https://openalex.org/W2130098903","https://openalex.org/W2108259501","https://openalex.org/W2384787892","https://openalex.org/W4242853149","https://openalex.org/W3027493406","https://openalex.org/W2003531456"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"method":[2,17],"of":[3,8,37,42,55,59],"supervaluation":[4],"for":[5],"Kripke\u2019s":[6,15],"theory":[7,58],"truth":[9,32],"is":[10,47,50],"presented.":[11],"It":[12],"differs":[13],"from":[14],"own":[16],"in":[18,24],"that":[19],"it":[20,46],"employs":[21],"trees;":[22],"results":[23],"a":[25,38],"compositional":[26],"semantics;":[27],"assigns":[28],"the":[29,35,56],"intuitively":[30],"correct":[31],"values":[33],"to":[34],"sentences":[36],"particularly":[39],"tricky":[40],"example":[41],"Gupta\u2019s;":[43],"and":[44],"\u2013":[45,49],"argued":[48],"acceptable":[51],"as":[52],"an":[53],"explication":[54],"correspondence":[57],"truth.":[60]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}