Concepedia

Multi-modal Logic

Multi-Modal Logic is a branch of modal logic that extends the standard framework by incorporating multiple distinct modal operators, each representing different modes of necessity or possibility—such as temporal, epistemic, deontic, or spatial modalities—thereby enabling the formal representation and reasoning about complex, heterogeneous modal contexts within a unified logical system.

335

Publications

14.9K

Citations

605

Authors

300

Institutions

Publications per year

2017–2026

47

Parents

Publications

335

AN INTRODUCTION TO MODAL LOGIC

J. E. J. Altham · Philosophical Books · 1969 · 786 citations

, , +11

A logical analysis of some value concepts

Frederic B. Fitch · Journal of Symbolic Logic · 1963 · 458 citations

, , +16

Handbook of Modal Logic

Patrick Blackburn, Johan van Benthem, Frank Wolter · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 426 citations

, , +12

Multilanguage hierarchical logics, or: How we can do without modal logics

Fausto Giunchiglia, Luciano Serafini · Artificial Intelligence · 1994 · 352 citations

, , +8

Local model checking in the modal mu-calculus

Colin Stirling, D. Barney Walker · Theoretical Computer Science · 1991 · 287 citations

, , +7

1–5 of 335

Authors

605

  1. WV
    Wiebe van der Hoek

    University of Liverpool, United Kingdom

    9 publications · 310 citations

    9

    h-index

  2. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    7 publications · 643 citations

    7

    h-index

  3. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    7 publications · 646 citations

    7

    h-index

  4. PB
    Philippe Balbiani

    Centre National de la Recherche Scientifique, France

    5 publications · 166 citations

    5

    h-index

  5. JM
    John-Jules Meyer

    Utrecht University, Netherlands

    5 publications · 174 citations

    5

    h-index

1–5 of 605

Institutions

300

  1. University of Amsterdam

    Amsterdam, The Netherlands

    13 h-index

    19 publications

    1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    12 h-index

    27 publications

    565 citations

  3. Université Toulouse III - Paul Sabatier

    Toulouse, France

    11 h-index

    20 publications

    447 citations

  4. Institut de Recherche en Informatique de Toulouse

    Toulouse, France

    11 h-index

    22 publications

    499 citations

  5. Max Planck Society

    Munich, Germany

    10 h-index

    18 publications

    737 citations

  6. Université Toulouse-I-Capitole

    Toulouse, France

    9 h-index

    16 publications

    401 citations

  7. Institut Polytechnique de Bordeaux

    Bordeaux, France

    9 h-index

    16 publications

    401 citations

  8. Université Toulouse - Jean Jaurès

    Toulouse, France

    9 h-index

    16 publications

    401 citations

1–8 of 300

Venues

  1. Journal of Logic and Computation

    20 publications · 908 citations

    16

    h-index

  2. Journal of Symbolic Logic

    12 publications · 1.2K citations

    12

    h-index

  3. Journal of Applied Non-Classical Logics

    JANCL · 12 publications · 382 citations

    11

    h-index

  4. arXiv (Cornell University)

    Repository · 10 publications · 202 citations

    10

    h-index

  5. Studia Logica

    11 publications · 366 citations

    10

    h-index

1–5