{"id":"https://openalex.org/W7117978013","doi":"https://doi.org/10.48550/arxiv.2512.24980","title":"A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts","display_name":"A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts","publication_year":2025,"publication_date":"2025-12-31","ids":{"openalex":"https://openalex.org/W7117978013","doi":"https://doi.org/10.48550/arxiv.2512.24980"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2512.24980","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.24980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2512.24980","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121786453","display_name":"Prosenjit Howlader","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Howlader, Prosenjit","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5030700018","display_name":"Churn\u2010Jung Liau","orcid":"https://orcid.org/0000-0001-6842-9637"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liau, Churn-Jung","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5121786453"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.4129999876022339,"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.4129999876022339,"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.2669999897480011,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.1891999989748001,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.621999979019165},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5806000232696533},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.5264999866485596},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5195000171661377},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.43799999356269836},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4106000065803528},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.4081000089645386},{"id":"https://openalex.org/keywords/fuzzy-classification","display_name":"Fuzzy classification","score":0.40689998865127563},{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.4016999900341034},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.39259999990463257}],"concepts":[{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.621999979019165},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5806000232696533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5633999705314636},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.5264999866485596},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5195000171661377},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45080000162124634},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.43799999356269836},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.412200003862381},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4106000065803528},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.4081000089645386},{"id":"https://openalex.org/C127385683","wikidata":"https://www.wikidata.org/wiki/Q1475696","display_name":"Fuzzy classification","level":4,"score":0.40689998865127563},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.4016999900341034},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.39259999990463257},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3894999921321869},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.3889000117778778},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.3671000003814697},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36469998955726624},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.3433000147342682},{"id":"https://openalex.org/C148671577","wikidata":"https://www.wikidata.org/wiki/Q5511133","display_name":"Fuzzy set operations","level":4,"score":0.3418000042438507},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.3328999876976013},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.3199000060558319},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3122999966144562},{"id":"https://openalex.org/C137912672","wikidata":"https://www.wikidata.org/wiki/Q1967096","display_name":"Possibility theory","level":4,"score":0.3100999891757965},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C144170203","wikidata":"https://www.wikidata.org/wiki/Q5511099","display_name":"Fuzzy associative matrix","level":5,"score":0.29249998927116394},{"id":"https://openalex.org/C125228749","wikidata":"https://www.wikidata.org/wiki/Q5511064","display_name":"Fuzzy Control Language","level":5,"score":0.28870001435279846},{"id":"https://openalex.org/C170260401","wikidata":"https://www.wikidata.org/wiki/Q5251735","display_name":"Defuzzification","level":5,"score":0.28780001401901245},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.28459998965263367},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C17350324","wikidata":"https://www.wikidata.org/wiki/Q7860605","display_name":"Type-2 fuzzy sets and systems","level":5,"score":0.265500009059906},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26249998807907104},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C195975749","wikidata":"https://www.wikidata.org/wiki/Q1475705","display_name":"Fuzzy control system","level":3,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2512.24980","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.24980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2512.24980","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.24980","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.5586684942245483}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,48,90],"introduce":[1],"a":[2,103],"two-sort":[3],"weighted":[4,23],"modal":[5,24],"logic":[6,18,75,97,164],"for":[7],"possibilistic":[8],"reasoning":[9,166],"with":[10,55,80,98,167],"fuzzy":[11,41,62,87,138,169,178],"formal":[12,42,104,111,123,139],"contexts.":[13,140],"The":[14],"syntax":[15],"of":[16,22,60,73,85,95,110,152,161,176],"the":[17,58,68,74,83,92,96,107,159,173],"includes":[19],"two":[20],"types":[21],"operators":[25],"corresponding":[26,134],"to":[27,57,82,132,165],"classical":[28],"necessity":[29,69],"($\\Box$)":[30],"and":[31,35,70,128],"sufficiency":[32,71],"($\\boxminus$)":[33],"modalities":[34],"its":[36,50],"formulas":[37],"are":[38,76,180],"interpreted":[39],"in":[40,120,137,171],"contexts":[43],"based":[44],"on":[45],"possibility":[46,160],"theory.":[47],"present":[49],"axiomatization":[51],"that":[52,144],"is":[53,106],"\\emph{sound}":[54],"respect":[56,81],"class":[59,84],"all":[61,86,150],"context":[63,88,105],"models.":[64,89],"In":[65],"addition,":[66],"both":[67],"fragments":[72],"also":[77],"individually":[78],"complete":[79],"highlight":[91],"expressive":[93],"power":[94],"some":[99],"illustrative":[100],"examples.":[101],"As":[102],"basic":[108],"construct":[109],"concept":[112],"analysis":[113],"(FCA),":[114],"we":[115,142,157],"generalize":[116],"three":[117,151],"main":[118],"notions":[119],"FCA,":[121],"i.e.,":[122],"concepts,":[124,127,131],"object":[125],"oriented":[126,130],"property":[129],"their":[133],"$c$-cut":[135],"concepts":[136],"Then,":[141],"show":[143],"our":[145,163],"logical":[146],"language":[147],"can":[148],"represent":[149],"these":[153],"generalized":[154],"notions.":[155],"Finally,":[156],"demonstrate":[158],"extending":[162],"multi-relational":[168],"contexts,":[170],"which":[172],"Boolean":[174],"combinations":[175],"different":[177],"relations":[179],"allowed.":[181]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2026-01-02T00:00:00"}