Concepedia

Bimodal Logic

Bimodal Logic is a system of modal logic that extends classical modal logic by incorporating two distinct modal operators, each governing a separate accessibility relation, thereby enabling the formal representation and reasoning about two interacting but logically independent modes of necessity and possibility.

62

Publications

2K

Citations

90

Authors

67

Institutions

Publications per year

2017–2026

10

Parents

Publications

62

Insurance for low-probability hazards: A bimodal response to unlikely events

Gary H. McClelland, William D. Schulze, Don Coursey · Journal of Risk and Uncertainty · 1993 · 184 citations

, , +14

Properties of independently axiomatizable bimodal logics

Marcus Kracht, Frank Wolter · Journal of Symbolic Logic · 1991 · 161 citations

, , +8

Approximate Reasoning on a Basis of <italic>Z</italic>-Number-Valued If–Then Rules

Rafik Aziz Aliev, Witold Pedrycz, O. H. Huseynov et al. · IEEE Transactions on Fuzzy Systems · 2016 · 110 citations

, , +16

On/Off Fluorescent Chemosensor for Selective Detection of Divalent Iron and Copper Ions: Molecular Logic Operation and Protein Binding

G. Tamil Selvan, Chitra Varadaraju, Ramadoss Tamil Selvan et al. · ACS Omega · 2018 · 85 citations · Full text

, , +17

Normal monomodal logics can simulate all others

Marcus Kracht, Frank Wolter · Journal of Symbolic Logic · 1999 · 76 citations

, , +10

1–5 of 62

Authors

90

  1. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    6 publications · 351 citations

    6

    h-index

  2. PN
    Pavel Naumov

    Lafayette College, United States

    4 publications · 83 citations

    4

    h-index

  3. MK
    Marcus Kracht

    Freie Universität Berlin, Germany

    3 publications · 259 citations

    3

    h-index

  4. MB
    Matteo Baldoni

    University of Turin, Italy

    3 publications · 103 citations

    3

    h-index

  5. LA
    Linh Anh Nguyen

    University of Warsaw, Poland

    2 publications · 50 citations

    3

    h-index

1–5 of 90

Institutions

67

  1. Freie Universität Berlin

    Berlin, Germany

    4 h-index

    5 publications

    447 citations

  2. Japan Advanced Institute of Science and Technology

    Nomi Shi, Japan

    3 h-index

    3 publications

    141 citations

  3. Vassar College

    Town of Poughkeepsie, United States

    3 h-index

    3 publications

    67 citations

  4. Lafayette College

    Easton, United States

    3 h-index

    3 publications

    53 citations

  5. University of Warsaw

    Warsaw, Poland

    3 h-index

    2 publications

    50 citations

  6. Sapienza University of Rome

    Rome, Italy

    2 h-index

    2 publications

    23 citations

  7. University of Bern

    Bern, Switzerland

    2 h-index

    4 publications

    224 citations

  8. University of Amsterdam

    Amsterdam, The Netherlands

    2 h-index

    3 publications

    76 citations

1–8 of 67

Venues

  1. Journal of Symbolic Logic

    6 publications · 329 citations

    6

    h-index

  2. Journal of Applied Non-Classical Logics

    JANCL · 4 publications · 133 citations

    4

    h-index

  3. Journal of Logic and Computation

    4 publications · 73 citations

    4

    h-index

  4. Notre Dame Journal of Formal Logic

    3 publications · 118 citations

    3

    h-index

  5. Mathematical logic quarterly

    MLQ · 2 publications · 65 citations

    2

    h-index

1–5