{"id":"https://openalex.org/W1592338896","doi":"https://doi.org/10.1023/a:1021312628326","title":"An Elementary Construction for a Non-elementary Procedure","display_name":"An Elementary Construction for a Non-elementary Procedure","publication_year":2002,"publication_date":"2002-11-01","ids":{"openalex":"https://openalex.org/W1592338896","doi":"https://doi.org/10.1023/a:1021312628326","mag":"1592338896"},"language":"en","primary_location":{"id":"doi:10.1023/a:1021312628326","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1021312628326","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049970479","display_name":"M. Marx","orcid":"https://orcid.org/0000-0003-3255-3729"},"institutions":[{"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":["NL"],"is_corresponding":true,"raw_author_name":"Maarten Marx","raw_affiliation_strings":["Language and Inference Technology Group, ILLC, Universiteit van Amsterdam, Nieuwe Achtergracht 166, 1018 WV, Amsterdam, The Netherlands","Language and Inference Technology Group, ILLC, Universiteit van Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Language and Inference Technology Group, ILLC, Universiteit van Amsterdam, Nieuwe Achtergracht 166, 1018 WV, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Language and Inference Technology Group, ILLC, Universiteit van Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012636172","display_name":"Szabolcs Mikul\u00e1s","orcid":null},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Szabolcs Mikul\u00e1s","raw_affiliation_strings":["School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London, WC1E 7HX, UK","School of Computer Science and Information Systems Birkbeck College, University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London, WC1E 7HX, UK","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"School of Computer Science and Information Systems Birkbeck College, University of London, London, UK","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049970479"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.8568,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.75805761,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"2","first_page":"253","last_page":"263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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.9975000023841858,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9810000061988831,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9653000235557556,"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/mathematics","display_name":"Mathematics","score":0.6888777613639832},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.6181289553642273},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5938400030136108},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5792156457901001},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5585517883300781},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5372049808502197},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.4871046543121338},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.46988749504089355},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4577031135559082},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4397128224372864},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4196412265300751},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3954647481441498},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1447070837020874}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6888777613639832},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.6181289553642273},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5938400030136108},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5792156457901001},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5585517883300781},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5372049808502197},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.4871046543121338},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.46988749504089355},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4577031135559082},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4397128224372864},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4196412265300751},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3954647481441498},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1447070837020874},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/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.1023/a:1021312628326","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1021312628326","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W186516023","https://openalex.org/W1886844571","https://openalex.org/W1966911791","https://openalex.org/W1978169673","https://openalex.org/W1988434703","https://openalex.org/W2004236838","https://openalex.org/W2006059181","https://openalex.org/W2013243527","https://openalex.org/W2040022302","https://openalex.org/W2040575807","https://openalex.org/W2118324648","https://openalex.org/W2124580444","https://openalex.org/W2146819619","https://openalex.org/W2610670723","https://openalex.org/W3140030144","https://openalex.org/W4211144022","https://openalex.org/W6644804265"],"related_works":["https://openalex.org/W3111905456","https://openalex.org/W2881541399","https://openalex.org/W2171395754","https://openalex.org/W2101793126","https://openalex.org/W2077061463","https://openalex.org/W1599533611","https://openalex.org/W2910112965","https://openalex.org/W2140653223","https://openalex.org/W2062728934","https://openalex.org/W2271944696"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}