Exploring modal worlds

被引：0
|
作者：
机构：
[1] Dang, Han-Hing
[2] Glück, Roland
[3] Möller, Bernhard
[4] Roocks, Patrick
[5] Zelend, Andreas
来源：
Möller, Bernhard (moeller@informatik.uni-augsburg.de) | 1600年 / Elsevier Inc.卷 / 83期
关键词：
Formal concept analysis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 25 条
  • [1] Exploring modal worlds
    Dang, Han-Hing
    Glueck, Roland
    Moeller, Bernhard
    Roocks, Patrick
    Zelend, Andreas
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2014, 83 (02) : 135 - 153
  • [2] Modal reduction principles across relational semantics
    Conradie, Willem
    De Domenico, Andrea
    Manoorkar, Krishna
    Palmigiano, Alessandra
    Panettiere, Mattia
    Prieto, Daira Pinto
    Tzimoulis, Apostolos
    FUZZY SETS AND SYSTEMS, 2024, 481
  • [3] Two-Sorted Modal Logic for Formal and Rough Concepts
    Howlader, Prosenjit
    Liau, Churn-Jung
    ROUGH SETS, IJCRS 2023, 2023, 14481 : 154 - 169
  • [4] Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
    Howlader, Prosenjit
    Banerjee, Mohua
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (01) : 117 - 146
  • [5] Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
    Prosenjit Howlader
    Mohua Banerjee
    Journal of Logic, Language and Information, 2023, 32 : 117 - 146
  • [6] Exploring Partial Order of European Countries
    Annoni, Paola
    Brueggemann, Rainer
    SOCIAL INDICATORS RESEARCH, 2009, 92 (03) : 471 - 487
  • [7] Exploring Partial Order of European Countries
    Paola Annoni
    Rainer Brüggemann
    Social Indicators Research, 2009, 92
  • [8] Exploring Users' Preferences in a Fuzzy Setting
    Glodeanu, Cynthia Vera
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 303 (303) : 37 - 57
  • [9] Exploring Variability of Visual Accessibility Options in Operating Systems
    Kouhoue, Austin Waffo
    Bonavero, Yoann
    Bouetou Bouetou, Thomas
    Huchard, Marianne
    FUTURE INTERNET, 2021, 13 (09):
  • [10] Exploring Pattern Structures of Syntactic Trees for Relation Extraction
    Leeuwenberg, Artuur
    Buzmakov, Aleksey
    Toussaint, Yannick
    Napoli, Amedeo
    FORMAL CONCEPT ANALYSIS (ICFCA 2015), 2015, 9113 : 153 - 168
123