{"id":"https://openalex.org/W4255011403","doi":"https://doi.org/10.1007/978-3-319-31803-5_1","title":"Introduction","display_name":"Introduction","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W4255011403","doi":"https://doi.org/10.1007/978-3-319-31803-5_1"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-31803-5_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31803-5_1","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Dependence Logic","raw_type":"book-chapter"},"type":"book-chapter","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/A5081687891","display_name":"Samson Abramsky","orcid":"https://orcid.org/0000-0003-3921-6637"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Samson Abramsky","raw_affiliation_strings":["Department of Computer Science, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, UK","Department of Computer Science, University of Oxford, Oxford, United Kingdom","Department of Computer Science, University of Oxford Wolfson Building, Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford Wolfson Building, Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069777444","display_name":"Juha Kontinen","orcid":"https://orcid.org/0000-0003-0115-5154"},"institutions":[{"id":"https://openalex.org/I1323065761","display_name":"Statistics Finland","ror":"https://ror.org/01n1rg855","country_code":"FI","type":"other","lineage":["https://openalex.org/I1323065761"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Juha Kontinen","raw_affiliation_strings":["Department of Mathematics & Statistics, University of Helsinki, Helsinki, Finland","Department of Mathematics and Statistics, University of Helsinki, 68, 00014, Helsinki, Finland","Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics & Statistics, University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, 68, 00014, Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067128079","display_name":"Jouko V\u00e4\u00e4n\u00e1nen","orcid":"https://orcid.org/0000-0003-4356-7974"},"institutions":[{"id":"https://openalex.org/I1323065761","display_name":"Statistics Finland","ror":"https://ror.org/01n1rg855","country_code":"FI","type":"other","lineage":["https://openalex.org/I1323065761"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["FI","NL"],"is_corresponding":false,"raw_author_name":"Jouko V\u00e4\u00e4n\u00e4nen","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland","Dept of Mathematics & Statistics, University of Helsinki, Helsinki, Finland","Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]},{"raw_affiliation_string":"Dept of Mathematics & Statistics, University of Helsinki, Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008982209","display_name":"Heribert Vollmer","orcid":"https://orcid.org/0000-0002-9292-1960"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heribert Vollmer","raw_affiliation_strings":["Institut f\u00fcr Theoretische Informatik, Leibniz Universit\u00e4t Hannover, Appelstr. 4, 30167, Hannover, Germany","Institut f\u00fcr Theoretische Informatik, Leibniz Universit\u00e4t Hannover, Hannover, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Theoretische Informatik, Leibniz Universit\u00e4t Hannover, Appelstr. 4, 30167, Hannover, Germany","institution_ids":["https://openalex.org/I114112103"]},{"raw_affiliation_string":"Institut f\u00fcr Theoretische Informatik, Leibniz Universit\u00e4t Hannover, Hannover, Germany","institution_ids":["https://openalex.org/I114112103"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5081687891"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.67283543,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.3531999886035919,"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.3531999886035919,"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.09359999746084213,"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/T13297","display_name":"History and advancements in chemistry","score":0.05079999938607216,"subfield":{"id":"https://openalex.org/subfields/1606","display_name":"Physical and Theoretical Chemistry"},"field":{"id":"https://openalex.org/fields/16","display_name":"Chemistry"},"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.30910560488700867}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30910560488700867}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-31803-5_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-31803-5_1","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Dependence Logic","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2022-05-12T00:00:00"}