{"id":"https://openalex.org/W2086768898","doi":"https://doi.org/10.1007/bf00370386","title":"Explicit Fixed Points in Interpretability Logic","display_name":"Explicit Fixed Points in Interpretability Logic","publication_year":1991,"publication_date":"1991-03-01","ids":{"openalex":"https://openalex.org/W2086768898","doi":"https://doi.org/10.1007/bf00370386","mag":"2086768898"},"language":"en","primary_location":{"id":"doi:10.1007/bf00370386","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370386","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://dspace.library.uu.nl:8080/handle/1874/26418","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108457668","display_name":"Dick de Jongh","orcid":null},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Dick de Jongh","raw_affiliation_strings":["Department of Mathematics and Computer Science, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands","Department of Philosophy, University of Utrecht, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands","Department of Philosophy, University of Utrecht, CS Utrecht, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Department of Philosophy, University of Utrecht, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Philosophy, University of Utrecht, CS Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056284600","display_name":"Albert Visser","orcid":"https://orcid.org/0000-0001-9452-278X"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Albert Visser","raw_affiliation_strings":["Department of Mathematics and Computer Science, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands","Department of Philosophy, University of Utrecht, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands","Department of Philosophy, University of Utrecht, CS Utrecht, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Department of Philosophy, University of Utrecht, Heidelberglaan 2, 3584, CS Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Department of Philosophy, University of Utrecht, CS Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5108457668"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.1534,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.89008913,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"50","issue":"1","first_page":"39","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9398000240325928,"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.9398000240325928,"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/interpretability","display_name":"Interpretability","score":0.8073475360870361},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.7271711230278015},{"id":"https://openalex.org/keywords/uniqueness","display_name":"Uniqueness","score":0.7235363721847534},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6370179653167725},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.5057947635650635},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41865235567092896},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4115701913833618},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3663442134857178},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2506268322467804},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.167490154504776},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06055155396461487}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8073475360870361},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.7271711230278015},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.7235363721847534},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6370179653167725},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.5057947635650635},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41865235567092896},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4115701913833618},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3663442134857178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2506268322467804},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.167490154504776},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06055155396461487}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/bf00370386","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370386","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:dspace.library.uu.nl:1874/26418","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/26418","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Preprint"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/26418","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/26418","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logic Group Preprint Series, 44","raw_type":"info:eu-repo/semantics/preprint"}],"best_oa_location":{"id":"pmh:oai:dspace.library.uu.nl:1874/26418","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/26418","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6600000262260437}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1968570420","https://openalex.org/W2143346393","https://openalex.org/W2166930711","https://openalex.org/W2492537287","https://openalex.org/W2725239632","https://openalex.org/W4253934133"],"related_works":["https://openalex.org/W2905433371","https://openalex.org/W2376029318","https://openalex.org/W4390569940","https://openalex.org/W2888392564","https://openalex.org/W4361193272","https://openalex.org/W4310278675","https://openalex.org/W4388422664","https://openalex.org/W2806259446","https://openalex.org/W2388301251","https://openalex.org/W2963118595"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}