{"id":"https://openalex.org/W132280086","doi":"https://doi.org/10.1093/logcom/exi056","title":"Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators","display_name":"Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators","publication_year":2006,"publication_date":"2006-04-01","ids":{"openalex":"https://openalex.org/W132280086","doi":"https://doi.org/10.1093/logcom/exi056","mag":"132280086"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exi056","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exi056","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5045687469","display_name":"Nick Bezhanishvili","orcid":"https://orcid.org/0009-0005-6692-5051"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nick Bezhanishvili","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Balder Ten Cate","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01483714,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"2","first_page":"177","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9733999967575073,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9733999967575073,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.014800000004470348,"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/T10126","display_name":"Logic, programming, and type systems","score":0.0027000000700354576,"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/computer-science","display_name":"Computer science","score":0.4539102017879486},{"id":"https://openalex.org/keywords/transfer","display_name":"Transfer (computing)","score":0.4465571641921997}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4539102017879486},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.4465571641921997},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1093/logcom/exi056","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exi056","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/d1c62171-16cd-4565-a968-0fec00802fcc","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/transfer-results-for-hybrid-logic-part-i-the-case-without-the-satisfaction-operators(d1c62171-16cd-4565-a968-0fec00802fcc).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bezhanishvili, N & ten Cate, B D 2006, 'Transfer results for hybrid logic Part I: the case without the satisfaction operators', Journal of Logic and Computation, vol. 16, pp. 177-197. https://doi.org/10.1093/logcom/exi056","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.2641","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.2641","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/ResearchReports/PP-2004-06.text.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.106.2307","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.2307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.le.ac.uk/people/nb118/Publications/JLC-Part1.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/569a7e94-fadb-4b7a-b3f4-429945f8383e","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/transfer-results-for-hybrid-logic--part-i-the-case-without-satisfaction-operators(569a7e94-fadb-4b7a-b3f4-429945f8383e).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bezhanishvili, N & ten Cate, B D 2004 'Transfer results for hybrid logic - part i: the case without satisfaction operators' Internal Reports, no. PP-2004-06, Amsterdam.","raw_type":"info:eu-repo/semantics/workingPaper"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/d1c62171-16cd-4565-a968-0fec00802fcc","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/transfer-results-for-hybrid-logic-part-i-the-case-without-the-satisfaction-operators(d1c62171-16cd-4565-a968-0fec00802fcc).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bezhanishvili , N & ten Cate , B D 2006 , ' Transfer results for hybrid logic Part I: the case without the satisfaction operators ' , Journal of Logic and Computation , vol. 16 , pp. 177-197 . https://doi.org/10.1093/logcom/exi056","raw_type":"article"},{"id":"pmh:oai:lra.le.ac.uk:2381/1808","is_oa":false,"landing_page_url":"http://logcom.oxfordjournals.org/content/16/2/177","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/569a7e94-fadb-4b7a-b3f4-429945f8383e","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/transfer-results-for-hybrid-logic--part-i-the-case-without-satisfaction-operators(569a7e94-fadb-4b7a-b3f4-429945f8383e).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/workingpaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1489300317","https://openalex.org/W1552559776","https://openalex.org/W1592711411","https://openalex.org/W1924063407","https://openalex.org/W1980738498","https://openalex.org/W1981237135","https://openalex.org/W1981936535","https://openalex.org/W2055256635","https://openalex.org/W2064773636","https://openalex.org/W2074660514","https://openalex.org/W2075912770","https://openalex.org/W2079544076","https://openalex.org/W2083987012","https://openalex.org/W2092576830","https://openalex.org/W2099602798","https://openalex.org/W2138398824","https://openalex.org/W2154199572","https://openalex.org/W2158942091","https://openalex.org/W2164389533","https://openalex.org/W2225187755","https://openalex.org/W2610670723","https://openalex.org/W2743117888","https://openalex.org/W2970205057"],"related_works":["https://openalex.org/W2543643895","https://openalex.org/W2531245455","https://openalex.org/W1517408416","https://openalex.org/W1982997491","https://openalex.org/W2611445810","https://openalex.org/W2017669766","https://openalex.org/W1516592941","https://openalex.org/W1597535673","https://openalex.org/W2405603682","https://openalex.org/W2161616565","https://openalex.org/W1536396882","https://openalex.org/W1565316006","https://openalex.org/W2348475323","https://openalex.org/W1481877865","https://openalex.org/W172045997","https://openalex.org/W1520942242","https://openalex.org/W2104721236","https://openalex.org/W1551482454","https://openalex.org/W2325884547","https://openalex.org/W2133260738"],"abstract_inverted_index":{"We":[0,37,56],"define":[1],"for":[2,40],"every":[3],"Kripke":[4],"complete":[5],"modal":[6],"logic":[7],"L":[8,19,53],"its":[9],"hybrid":[10],"companion":[11],"LH":[12,34],"and":[13,48],"investigate":[14],"which":[15],"properties":[16],"transfer":[17,51],"from":[18,33,52],"to":[20,35,54],"LH.":[21,55],"For":[22],"a":[23,30],"specific":[24],"class":[25,42],"of":[26,43,65],"logics,":[27,44],"we":[28],"present":[29],"satisfiability-preserving":[31],"translation":[32],"L.":[36],"prove":[38],"that":[39],"this":[41],"complexity,":[45,66],"(uniform)":[46],"interpolation,":[47],"finite":[49,69],"axiomatization":[50],"also":[57],"provide":[58],"examples":[59],"showing":[60],"that,":[61],"in":[62],"general,":[63],"none":[64],"decidability,":[67],"the":[68,73],"model":[70],"property":[71,75],"or":[72],"Beth":[74],"transfer.":[76]},"counts_by_year":[],"updated_date":"2026-06-15T08:34:33.830935","created_date":"2025-10-10T00:00:00"}