{"id":"https://openalex.org/W1515358688","doi":"https://doi.org/10.1142/9789812776471_0006","title":"Bimodal Logics for Reasoning About Continuous Dynamics","display_name":"Bimodal Logics for Reasoning About Continuous Dynamics","publication_year":2002,"publication_date":"2002-09-01","ids":{"openalex":"https://openalex.org/W1515358688","doi":"https://doi.org/10.1142/9789812776471_0006","mag":"1515358688"},"language":"en","primary_location":{"id":"doi:10.1142/9789812776471_0006","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789812776471_0006","pdf_url":null,"source":{"id":"https://openalex.org/S4306417626","display_name":"Advances in Modal Logic","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Modal 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/A5109854900","display_name":"Jen M. Davoren","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"JEN M. DAVOREN","raw_affiliation_strings":["Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australia","Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australiahttp://csl.anu.edu.au/~davoren"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australiahttp://csl.anu.edu.au/~davoren","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113488566","display_name":"Rajeev Gor\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"RAJEEV P. GOR\u00c9","raw_affiliation_strings":["Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australia","Department of Computer Science, Faculty of Engineering and Information Technology, The Australian National University, Canberra ACT 0200, Australia","Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, AustraliaDepartment of Computer Science, Faculty of Engineering and Information Technology, The Australian National University, Canberra ACT 0200, Australiahttp://csl.anu.edu.au/~rpg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Engineering and Information Technology, The Australian National University, Canberra ACT 0200, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University, Canberra ACT 0200, AustraliaDepartment of Computer Science, Faculty of Engineering and Information Technology, The Australian National University, Canberra ACT 0200, Australiahttp://csl.anu.edu.au/~rpg","institution_ids":["https://openalex.org/I118347636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1328,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.76944678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"91","last_page":"111"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.994700014591217,"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.994700014591217,"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.9733999967575073,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9731000065803528,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/kripke-semantics","display_name":"Kripke semantics","score":0.8589268922805786},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.677955150604248},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5578530430793762},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.5356855392456055},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.49289965629577637},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.49051135778427124},{"id":"https://openalex.org/keywords/binary-relation","display_name":"Binary relation","score":0.4889332354068756},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4815945327281952},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.47509562969207764},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4475800693035126},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.4363546371459961},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.41008129715919495},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4048592150211334},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3955864906311035},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3724782466888428},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.2712174355983734},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18482628464698792},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17935588955879211},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1732332706451416},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12695428729057312},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09481164813041687},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.08589327335357666}],"concepts":[{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.8589268922805786},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.677955150604248},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5578530430793762},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5356855392456055},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.49289965629577637},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.49051135778427124},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.4889332354068756},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4815945327281952},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.47509562969207764},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4475800693035126},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.4363546371459961},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.41008129715919495},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4048592150211334},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3955864906311035},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3724782466888428},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2712174355983734},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18482628464698792},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17935588955879211},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1732332706451416},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12695428729057312},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09481164813041687},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.08589327335357666},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/9789812776471_0006","is_oa":false,"landing_page_url":"https://doi.org/10.1142/9789812776471_0006","pdf_url":null,"source":{"id":"https://openalex.org/S4306417626","display_name":"Advances in Modal Logic","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Modal Logic","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.7231","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.7231","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arp.anu.edu.au/~davoren/bimodal_cont/ARP-tech-rep-nov2000.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.36.2202","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.2202","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arp.anu.edu.au/~davoren/bimodal_cont/davoren-gore-aiml00.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1495949270","https://openalex.org/W1550706200","https://openalex.org/W1598695781","https://openalex.org/W2006227387","https://openalex.org/W2050527500","https://openalex.org/W2080823411","https://openalex.org/W2159753366","https://openalex.org/W2166802518","https://openalex.org/W2169823769","https://openalex.org/W2574056632","https://openalex.org/W2805767310"],"related_works":["https://openalex.org/W2403418519","https://openalex.org/W2482057698","https://openalex.org/W4205932853","https://openalex.org/W2002701178","https://openalex.org/W2952481855","https://openalex.org/W3177339176","https://openalex.org/W2965503064","https://openalex.org/W4247269955","https://openalex.org/W2212637516","https://openalex.org/W2061319273"],"abstract_inverted_index":{"We":[0,104,137],"study":[1,138],"a":[2,38,51,101,139],"propositional":[3,140],"bimodal":[4,141],"logic":[5,86,142],"consisting":[6,143],"of":[7,37,79,100,108,117,144],"two":[8,145],"S4":[9,146],"modalities":[10,147],"and":[11,53,121,149],"[a],":[12,150],"together":[13],"with":[14,72,111],"the":[15,23,26,30,34,41,46,63,66,75,85,96,106,109,114,126],"interaction":[16,60],"axiom":[17,61],"scheme":[18],"#a##":[19],"#":[20,148],"#a##.":[21],"In":[22],"intended":[24,115],"semantics,":[25],"plain":[27],"is":[28,44,69,95,130],"given":[29,45],"McKinsey-Tarski":[31],"interpretation":[32],"as":[33],"interior":[35],"operator":[36],"topology,":[39],"while":[40],"labelled":[42],"[a]":[43],"standard":[47],"Kripke":[48,81,119],"semantics":[49],"using":[50],"reflexive":[52],"transitive":[54],"binary":[55],"relation":[56,68,99],"Ra":[57,67,94],".":[58],"The":[59,77],"expresses":[62],"property":[64],"that":[65],"lower":[70],"semi-continuous":[71],"respect":[73,112],"to":[74,113],"topology.":[76],"class":[78,116],"topological":[80,118],"frames":[82,89],"axiomatised":[83],"by":[84],"includes":[87],"all":[88],"over":[90],"Euclidean":[91],"space":[92],"where":[93],"positive":[97],"flow":[98],"di#erential":[102],"equation.":[103],"establish":[105],"completeness":[107],"axiomatisation":[110],"frames,":[120],"investigate":[122],"tableau":[123],"calculi":[124],"for":[125],"logic,":[127],"although":[128],"decidability":[129],"still":[131],"an":[132],"open":[133],"question.":[134],"1":[135],"Introduction":[136],"to...":[151]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}