{"id":"https://openalex.org/W1940784722","doi":"https://doi.org/10.1109/tc.1976.1674620","title":"Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions","display_name":"Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions","publication_year":1976,"publication_date":"1976-04-01","ids":{"openalex":"https://openalex.org/W1940784722","doi":"https://doi.org/10.1109/tc.1976.1674620","mag":"1940784722"},"language":"en","primary_location":{"id":"doi:10.1109/tc.1976.1674620","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1976.1674620","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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":null,"display_name":"Joshi","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshi","raw_affiliation_strings":["Department of Computer and Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, PA and the Department of Linguistics, University of Pennsylvania","Department of Linguistics, University of Pennsylvania, Philadelphia, PA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, Philadelphia, PA and the Department of Linguistics, University of Pennsylvania","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Department of Linguistics, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5098451969","display_name":"Weischedel","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weischedel","raw_affiliation_strings":["Department of Computer and Information Science, University of California, Irvine, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science, University of California, Irvine, CA, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08032596,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"C-25","issue":"4","first_page":"374","last_page":"389"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9700000286102295,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9699000120162964,"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"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.949999988079071,"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/predicate","display_name":"Predicate (mathematical logic)","score":0.8248287439346313},{"id":"https://openalex.org/keywords/presupposition","display_name":"Presupposition","score":0.7503087520599365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5760627388954163},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.4992647171020508},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4896624684333801},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4598473310470581},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.4310697913169861},{"id":"https://openalex.org/keywords/semantic-property","display_name":"Semantic property","score":0.41025641560554504},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39650189876556396},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.39455974102020264},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06951388716697693}],"concepts":[{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.8248287439346313},{"id":"https://openalex.org/C21190884","wikidata":"https://www.wikidata.org/wiki/Q1076131","display_name":"Presupposition","level":2,"score":0.7503087520599365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5760627388954163},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4992647171020508},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4896624684333801},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4598473310470581},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.4310697913169861},{"id":"https://openalex.org/C198942812","wikidata":"https://www.wikidata.org/wiki/Q496618","display_name":"Semantic property","level":2,"score":0.41025641560554504},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39650189876556396},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.39455974102020264},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06951388716697693},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.1976.1674620","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.1976.1674620","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W6169389","https://openalex.org/W2001758599","https://openalex.org/W2005814556","https://openalex.org/W2035032881","https://openalex.org/W2038968351","https://openalex.org/W2165656728","https://openalex.org/W2182340271","https://openalex.org/W6600250200"],"related_works":["https://openalex.org/W3178939447","https://openalex.org/W2385648227","https://openalex.org/W3096151856","https://openalex.org/W1978471365","https://openalex.org/W2390548157","https://openalex.org/W4214561987","https://openalex.org/W2051086741","https://openalex.org/W604350950","https://openalex.org/W2349048845","https://openalex.org/W2491429236"],"abstract_inverted_index":{"Predicate":[0],"complement":[1,22,75],"constructions":[2,23,34,71],"are":[3,77],"a":[4,62,85],"rich":[5],"source":[6],"of":[7,20,32,44,49,67,69],"semantic":[8,15],"problems.":[9,93],"A":[10],"system":[11],"for":[12,89],"testing":[13,87],"the":[14,30,42,45,65],"properties":[16],"(presuppositions":[17],"and":[18,51,54,56],"entailments)":[19],"predicate":[21,74],"has":[24],"been":[25,36],"constructed,":[26],"and,":[27],"in":[28,38,41,60],"particular,":[29],"implementations":[31,66],"these":[33,70],"have":[35],"explored":[37],"some":[39],"detail":[40],"context":[43],"tic-tac-toe":[46],"game-playing":[47],"setting":[48],"Isard":[50,57],"Longuet-Higgins":[52],"[2]":[53],"Davies":[55],"[1].":[58],"Even":[59],"such":[61,81],"limited":[63],"setting,":[64],"many":[68,90],"(especially":[72],"composite":[73],"constructions)":[76],"nontrivial,":[78],"suggesting":[79],"that":[80],"restricted":[82],"settings":[83],"provide":[84],"good":[86],"ground":[88],"key":[91],"linguistic":[92]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}