{"id":"https://openalex.org/W7167816295","doi":"https://doi.org/10.4230/lipics.lics.2026.81","title":"Axiomatizability of Alexandrov Dynamic Topological Logic","display_name":"Axiomatizability of Alexandrov Dynamic Topological Logic","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7167816295","doi":"https://doi.org/10.4230/lipics.lics.2026.81"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.lics.2026.81","is_oa":true,"landing_page_url":"http://hdl.handle.net/11427/18244","pdf_url":"http://www.aiml.net/volumes/volume9/Fernandez-Duque.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://www.aiml.net/volumes/volume9/Fernandez-Duque.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140341082","display_name":"Niels C. Vooijs","orcid":"https://orcid.org/0000-0002-4515-9694"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Vooijs, Niels C.","raw_affiliation_strings":["Universit\u00e4t Bern, Switzerland"],"raw_orcid":"https://orcid.org/0000-0002-4515-9694","affiliations":[{"raw_affiliation_string":"Universit\u00e4t Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080309379","display_name":"David Fern\u00e1ndez\u2013Duque","orcid":"https://orcid.org/0000-0001-8604-4183"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fern\u00e1ndez-Duque, David","raw_affiliation_strings":["University of Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-8604-4183","affiliations":[{"raw_affiliation_string":"University of Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6198999881744385},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5223000049591064},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.48010000586509705},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4593999981880188},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.459199994802475},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.44830000400543213},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.41530001163482666},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.38690000772476196}],"concepts":[{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6198999881744385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.531000018119812},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5223000049591064},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4903999865055084},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.48010000586509705},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.459199994802475},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.44830000400543213},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4375},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.38690000772476196},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3840000033378601},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3573000133037567},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3528999984264374},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.3377000093460083},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.3176000118255615},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.30160000920295715},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.29030001163482666},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.26489999890327454},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25999999046325684}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.4230/lipics.lics.2026.81","is_oa":true,"landing_page_url":"http://hdl.handle.net/11427/18244","pdf_url":"http://www.aiml.net/volumes/volume9/Fernandez-Duque.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"ConferencePaper"},{"id":"pmh:oai:drops-oai.dagstuhl.de:26868","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.81","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol380-lics2026/LIPIcs.LICS.2026.81/LIPIcs.LICS.2026.81.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.lics.2026.81","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.lics.2026.81","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:doi:10.4230/lipics.lics.2026.81","is_oa":true,"landing_page_url":"http://hdl.handle.net/11427/18244","pdf_url":"http://www.aiml.net/volumes/volume9/Fernandez-Duque.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1643949827","display_name":null,"funder_award_id":"AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2064873908","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3005324705","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3025291535","display_name":null,"funder_award_id":"/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3546882995","display_name":null,"funder_award_id":"AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G3932803031","display_name":"Ordered Algebras in Translation","funder_award_id":"215157","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G4079952795","display_name":null,"funder_award_id":"MICIU/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G425668148","display_name":null,"funder_award_id":".13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G464105488","display_name":null,"funder_award_id":"PID2023","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5834368147","display_name":null,"funder_award_id":"MICIU/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G6008399536","display_name":null,"funder_award_id":"MICIU/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320321505","funder_display_name":"Generalitat de Catalunya"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7466406081","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320322121","funder_display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats"},{"id":"https://openalex.org/G7535663061","display_name":null,"funder_award_id":"AEI/10.","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8093239321","display_name":null,"funder_award_id":"CEX2021-001169-M","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8345352404","display_name":null,"funder_award_id":"MICIU/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"},{"id":"https://openalex.org/F4320322121","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7167816295.pdf","grobid_xml":"https://content.openalex.org/works/W7167816295.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Dynamical":[0],"systems":[1,43,61],"provide":[2,157],"rigorous":[3],"models":[4],"of":[5,33,76,142],"movement":[6],"or":[7,26,69],"evolution":[8],"over":[9],"time.":[10],"Due":[11],"to":[12,73,156],"their":[13],"abstract":[14],"nature,":[15],"they":[16],"may":[17,44],"be":[18,45,65],"naturally":[19],"employed":[20,66],"for":[21,59,67,99,129],"representing":[22],"e.g.":[23],"physical,":[24],"biological,":[25],"financial":[27],"phenomena.":[28],"Specifically":[29],"in":[30,54,108,113,122],"the":[31,74,140],"context":[32],"Computer":[34],"Science,":[35],"computational":[36],"processes,":[37],"machine":[38],"learning":[39],"algorithms,":[40],"and":[41,95,112],"multi-agent":[42],"regarded":[46],"as":[47],"dynamical":[48,60],"systems.":[49],"This":[50],"has":[51,124],"sparked":[52],"interest":[53],"designing":[55],"formal":[56],"specification":[57],"languages":[58],"which":[62],"could":[63],"potentially":[64],"automated":[68],"computer-assisted":[70],"deduction,":[71],"leading":[72],"introduction":[75],"dynamic":[77],"topological":[78],"logic":[79],"(DTL).":[80],"When":[81],"space":[82],"is":[83,87,90,145],"continuous":[84],"but":[85],"time":[86],"discrete,":[88],"it":[89,136],"known":[91],"that":[92],"a":[93,118],"sound":[94],"complete":[96],"deductive":[97],"calculus":[98,119],"DTL":[100,141],"exists.":[101],"However,":[102],"discrete":[103],"spaces":[104,144],"are":[105],"not":[106],"uncommon":[107],"CS":[109],"applications":[110],",":[111],"this":[114,149],"setting,":[115],"whether":[116,139],"such":[117],"exists":[120],"even":[121],"principle":[123],"been":[125],"an":[126,158],"open":[127],"question":[128],"more":[130],"than":[131],"two":[132],"decades.":[133],"More":[134],"precisely,":[135],"was":[137],"unknown":[138],"Alexandrov":[143],"computably":[146],"enumerable.":[147],"In":[148],"paper,":[150],"we":[151],"use":[152],"model":[153],"search":[154],"techniques":[155],"affirmative":[159],"answer.":[160]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-10T00:00:00"}