{"id":"https://openalex.org/W2140653223","doi":"https://doi.org/10.1093/logcom/exu055","title":"Logics for some dynamic spaces-I","display_name":"Logics for some dynamic spaces-I","publication_year":2014,"publication_date":"2014-10-03","ids":{"openalex":"https://openalex.org/W2140653223","doi":"https://doi.org/10.1093/logcom/exu055","mag":"2140653223"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exu055","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exu055","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5078473465","display_name":"Md. Aquil Khan","orcid":"https://orcid.org/0000-0001-9235-8613"},"institutions":[{"id":"https://openalex.org/I64295750","display_name":"Indian Institute of Technology Indore","ror":"https://ror.org/01hhf7w52","country_code":"IN","type":"education","lineage":["https://openalex.org/I64295750"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"M. A. Khan","raw_affiliation_strings":["Discipline of Mathematics, Indian Institute of Technology, Indore 452 017, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Discipline of Mathematics, Indian Institute of Technology, Indore 452 017, India","institution_ids":["https://openalex.org/I64295750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046102840","display_name":"Mohua Banerjee","orcid":"https://orcid.org/0000-0002-7517-0923"},"institutions":[{"id":"https://openalex.org/I94234084","display_name":"Indian Institute of Technology Kanpur","ror":"https://ror.org/05pjsgx75","country_code":"IN","type":"education","lineage":["https://openalex.org/I94234084"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"M. Banerjee","raw_affiliation_strings":["Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur 208016, India","Department of Mathematics and Statistics , Indian Institute of Technology , Kanpur 208016, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur 208016, India","institution_ids":["https://openalex.org/I94234084"]},{"raw_affiliation_string":"Department of Mathematics and Statistics , Indian Institute of Technology , Kanpur 208016, India","institution_ids":["https://openalex.org/I94234084"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.3574,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.65676715,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"25","issue":"3","first_page":"827","last_page":"856"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9995999932289124,"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.9837999939918518,"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/T10538","display_name":"Data Mining Algorithms and Applications","score":0.9718999862670898,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/accessibility-relation","display_name":"Accessibility relation","score":0.8359148502349854},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7634001970291138},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.724705159664154},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.7137364745140076},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.6227190494537354},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5383044481277466},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4868411421775818},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4828687012195587},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.4755104184150696},{"id":"https://openalex.org/keywords/modal-\u03bc-calculus","display_name":"Modal \u03bc-calculus","score":0.4600107669830322},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.4459974765777588},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4454899728298187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43494054675102234},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43273794651031494},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.43011558055877686},{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.42402440309524536},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.41621214151382446},{"id":"https://openalex.org/keywords/equivalence-class","display_name":"Equivalence class (music)","score":0.41117045283317566},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41054949164390564},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3563082218170166},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.32542508840560913},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2944297194480896},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.23541003465652466},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10582321882247925}],"concepts":[{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.8359148502349854},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7634001970291138},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.724705159664154},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.7137364745140076},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.6227190494537354},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5383044481277466},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4868411421775818},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4828687012195587},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.4755104184150696},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.4600107669830322},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.4459974765777588},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4454899728298187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43494054675102234},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43273794651031494},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.43011558055877686},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.42402440309524536},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.41621214151382446},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.41117045283317566},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41054949164390564},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3563082218170166},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.32542508840560913},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2944297194480896},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.23541003465652466},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10582321882247925},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exu055","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exu055","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W53052996","https://openalex.org/W168286896","https://openalex.org/W1018820753","https://openalex.org/W1480381693","https://openalex.org/W1500313660","https://openalex.org/W1520981400","https://openalex.org/W1557923305","https://openalex.org/W1563282755","https://openalex.org/W1570374618","https://openalex.org/W1586066135","https://openalex.org/W1591618909","https://openalex.org/W1593210281","https://openalex.org/W1601452436","https://openalex.org/W1623621557","https://openalex.org/W1645519945","https://openalex.org/W1670833171","https://openalex.org/W1830637649","https://openalex.org/W1867463642","https://openalex.org/W1979029381","https://openalex.org/W1986250894","https://openalex.org/W2000567285","https://openalex.org/W2002367458","https://openalex.org/W2008441772","https://openalex.org/W2009844825","https://openalex.org/W2017661088","https://openalex.org/W2045554431","https://openalex.org/W2093916942","https://openalex.org/W2095290023","https://openalex.org/W2103514965","https://openalex.org/W2118324648","https://openalex.org/W2118805497","https://openalex.org/W2119599231","https://openalex.org/W2126897271","https://openalex.org/W2168075365","https://openalex.org/W2895527274","https://openalex.org/W3162539961","https://openalex.org/W4246790623","https://openalex.org/W4255833381"],"related_works":["https://openalex.org/W2352549085","https://openalex.org/W2144619006","https://openalex.org/W2077061463","https://openalex.org/W4391114601","https://openalex.org/W2766759918","https://openalex.org/W1721572253","https://openalex.org/W2949847293","https://openalex.org/W2531621808","https://openalex.org/W4287372193","https://openalex.org/W2032215344"],"abstract_inverted_index":{"We":[0,108],"study":[1],"a":[2,23,67,72,90,168,180],"collection":[3],"of":[4,18,29,45,61,69,74,99,114,145,167,185,234],"logics":[5,116,221],"L(T,I)":[6,46,62],"with":[7,22,102,161,172,229,240],"models":[8,144],"based":[9,148],"on":[10,126,149,182],"\u2018dynamic":[11],"I":[12,20,26,78],"spaces\u2019,":[13],"which":[14,146],"are":[15,106,147],"finite":[16],"sequences":[17],"Kripke":[19,77],"frames":[21,79],"common":[24],"domain,":[25],"being":[27],"any":[28],"the":[30,82,115,124,127,165,175,183,195,202,232],"normal":[31],"modal":[32,48,83],"systems":[33,105],"K,":[34],"K4,":[35],"T,":[36],"B,":[37],"S4,":[38],"KTB,":[39],"KB4":[40],"and":[41,52,76,135],"S5.":[42],"The":[43,59,119,153,220],"language":[44],"has":[47,188],"connectives":[49],"for":[50,96,138,214],"\u2018possibility\u2019":[51],"\u2018necessity\u2019,":[53],"as":[54,56,117],"well":[55],"temporal":[57,75,129],"connectives.":[58],"semantics":[60],"can":[63],"be":[64],"determined":[65],"through":[66],"kind":[68],"fibring":[70],"over":[71,194],"combination":[73],"corresponding":[80],"to":[81,158,199,226],"system":[84],"I.":[85],"This":[86],"article":[87],"presents,":[88],"in":[89,121,164,191,197,231],"schematic":[91],"manner,":[92],"tableau-based":[93],"proof":[94],"procedures":[95],"this":[97],"class":[98],"logics.":[100],"Comparisons":[101],"closely":[103],"related":[104],"made.":[107],"briefly":[109],"look":[110],"at":[111],"possible":[112],"applications":[113],"well.":[118],"study,":[120],"fact,":[122],"generalizes":[123],"work":[125],"logic":[128,131],"rough":[130,140,162],"(TRL)":[132],"by":[133,179,209,216],"Banerjee":[134],"Khan":[136],"[2]":[137],"Pawlak's":[139],"set":[141],"theory":[142],"(RST),":[143],"dynamic":[150],"S5":[151],"spaces.":[152],"motivation":[154],"behind":[155],"TRL":[156],"was":[157],"capture":[159],"reasoning":[160,228],"sets":[163],"scenario":[166],"knowledge":[169,203,237],"base":[170,204],"evolving":[171,239],"time,":[173],"when":[174,201],"latter":[176],"is":[177,205],"represented":[178,208],"partition":[181],"domain":[184],"discourse.":[186],"RST":[187],"been":[189],"generalized":[190,236],"many":[192],"ways":[193],"years,":[196],"particular":[198],"situations":[200],"not":[206],"necessarily":[207],"an":[210],"equivalence":[211],"relation,":[212],"but,":[213],"instance,":[215],"tolerances":[217],"or":[218],"pre-orders.":[219],"presented":[222],"here":[223],"enable":[224],"one":[225],"address":[227],"concepts":[230],"context":[233],"such":[235],"bases":[238],"time.":[241]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-06-23T06:36:01.041984","created_date":"2025-10-10T00:00:00"}