{"id":"https://openalex.org/W2781656311","doi":"https://doi.org/10.1002/malq.201700055","title":"Finite satisfiability for two\u2010variable, first\u2010order logic with one transitive relation is decidable","display_name":"Finite satisfiability for two\u2010variable, first\u2010order logic with one transitive relation is decidable","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2781656311","doi":"https://doi.org/10.1002/malq.201700055","mag":"2781656311"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201700055","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700055","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700055","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700055","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033570514","display_name":"Ian Pratt\u2010Hartmann","orcid":"https://orcid.org/0000-0003-0062-043X"},"institutions":[{"id":"https://openalex.org/I170583851","display_name":"University of Opole","ror":"https://ror.org/04gbpnx96","country_code":"PL","type":"education","lineage":["https://openalex.org/I170583851"]},{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB","PL"],"is_corresponding":true,"raw_author_name":"Ian Pratt\u2010Hartmann","raw_affiliation_strings":["Instytut Matematyki i Informatyki Uniwersytet Opolski ul. Oleska 48 45\u2013040 Opole Poland","School of Computer Science University of Manchester Oxford Road Manchester M13 9PL United Kingdom","School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instytut Matematyki i Informatyki Uniwersytet Opolski ul. Oleska 48 45\u2013040 Opole Poland","institution_ids":["https://openalex.org/I170583851"]},{"raw_affiliation_string":"School of Computer Science University of Manchester Oxford Road Manchester M13 9PL United Kingdom","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033570514"],"corresponding_institution_ids":["https://openalex.org/I170583851","https://openalex.org/I28407311"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":{"value":2900,"currency":"USD","value_usd":2900},"fwci":0.6042,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77159088,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":94},"biblio":{"volume":"64","issue":"3","first_page":"218","last_page":"248"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/decidability","display_name":"Decidability","score":0.8878704905509949},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.8116254806518555},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7937800884246826},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7577207088470459},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.5456732511520386},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5260909795761108},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5014290809631348},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.49715498089790344},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48858293890953064},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.46079331636428833},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.44315606355667114},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3391076326370239},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.14046940207481384}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8878704905509949},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.8116254806518555},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7937800884246826},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7577207088470459},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.5456732511520386},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5260909795761108},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5014290809631348},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.49715498089790344},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48858293890953064},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.46079331636428833},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.44315606355667114},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3391076326370239},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14046940207481384},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1002/malq.201700055","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700055","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700055","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/24968479-9c46-457d-9e19-6502c6e67c3f","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/24968479-9c46-457d-9e19-6502c6e67c3f","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pratt-Hartmann, I 2018, 'Finite Satisfiability for Two-Variable, First-Order Logic with one Transitive Relation is Decidable', Mathematical Logic Quarterly, vol. 64, no. 3, pp. 218\u2013248. https://doi.org/10.1002/malq.201700055","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/24968479-9c46-457d-9e19-6502c6e67c3f","is_oa":true,"landing_page_url":"https://www.research.manchester.ac.uk/portal/en/publications/finite-satisfiability-for-twovariable-firstorder-logic-with-one-transitive-relation-is-decidable(24968479-9c46-457d-9e19-6502c6e67c3f).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pratt-Hartmann, I 2018, 'Finite Satisfiability for Two-Variable, First-Order Logic with one Transitive Relation is Decidable', Mathematical Logic Quarterly, vol. 64, no. 3, pp. 218\u2013248. https://doi.org/10.1002/malq.201700055","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1002/malq.201700055","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700055","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700055","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.5,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G1463999682","display_name":null,"funder_award_id":"EP/K017438/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2781656311.pdf","grobid_xml":"https://content.openalex.org/works/W2781656311.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W6480589","https://openalex.org/W108850430","https://openalex.org/W1488636480","https://openalex.org/W1536964483","https://openalex.org/W1549008998","https://openalex.org/W2027602125","https://openalex.org/W2104419987","https://openalex.org/W2124580444","https://openalex.org/W2136823804","https://openalex.org/W2243432867","https://openalex.org/W2335953814","https://openalex.org/W2735488008","https://openalex.org/W2954029160","https://openalex.org/W6641176790"],"related_works":["https://openalex.org/W2294297515","https://openalex.org/W2021891065","https://openalex.org/W2585890227","https://openalex.org/W1543051890","https://openalex.org/W2072122432","https://openalex.org/W2789140669","https://openalex.org/W2166108892","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058"],"abstract_inverted_index":{"Abstract":[0],"We":[1,21],"consider":[2],"two\u2010variable,":[3],"first\u2010order":[4],"logic":[5,30],"in":[6,33],"which":[7],"a":[8,18,53],"single":[9],"distinguished":[10],"predicate":[11],"is":[12,31,49],"required":[13],"to":[14,40,51],"be":[15,52],"interpreted":[16],"as":[17],"transitive":[19,47],"relation.":[20],"show":[22],"that":[23],"the":[24,46],"finite":[25],"satisfiability":[26],"problem":[27],"for":[28],"this":[29],"decidable":[32],"triply":[34],"exponential":[35,42],"non\u2010deterministic":[36,43],"time.":[37],"Complexity":[38],"falls":[39],"doubly":[41],"time":[44],"if":[45],"relation":[48],"constrained":[50],"partial":[54],"order.":[55]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-09-01T08:31:24.195828","created_date":"2018-01-12T00:00:00"}