Concepedia

Modal Predicate Logic

Modal Predicate Logic is a formal logical system that extends first-order predicate logic by incorporating modal operators to express necessity and possibility, thereby enabling quantification over possible worlds and the representation of intensional contexts.

37

Publications

3.1K

Citations

57

Authors

38

Institutions

Publications per year

2017–2026

3

Variants

Quantified Modal Logic

Parents

Publications

37

A completeness theorem in modal logic

Saul A. Kripke · Journal of Symbolic Logic · 1959 · 1.1K citations

, , +11

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, Istvàn Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 601 citations

, , +11

An Introduction to Modal Logic.

G. D. Duthie, G. E. Hughes, M. J. Cresswell · The Philosophical Quarterly · 1971 · 197 citations

, , +12

Modal logic with subjunctive conditionals and dispositional predicates

Lennart Åqvist · Journal of Philosophical Logic · 1973 · 160 citations

, , +9

Logics for Real Time: Decidability and Complexity

Yoram Hirshfeld, Alexander Rabinovich · 2004 · 105 citations

, , +15

1–5 of 37

Authors

57

  1. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    3 publications · 164 citations

    3

    h-index

  2. JV
    Johan van Benthem

    University of Amsterdam, Netherlands

    2 publications · 635 citations

    2

    h-index

  3. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    2 publications · 123 citations

    2

    h-index

  4. GE
    G. E. Hughes

    Victoria University of Wellington, New Zealand

    1 publications · 197 citations

    1

    h-index

  5. DS
    Dmitry Shkatov

    University of the Witwatersrand, South Africa

    1 publications · 14 citations

    1

    h-index

1–5 of 57

Institutions

38

  1. University of Amsterdam

    Amsterdam, The Netherlands

    3 h-index

    3 publications

    686 citations

  2. University of Konstanz

    Konstanz, Germany

    2 h-index

    2 publications

    97 citations

  3. King's College London

    London, United Kingdom

    2 h-index

    2 publications

    123 citations

  4. Leipzig University

    Leipzig, Germany

    2 h-index

    2 publications

    110 citations

  5. Tver State University

    Tver', Russia

    1 h-index

    1 publications

    14 citations

  6. Russian Academy of Sciences

    Moscow, Russia

    1 h-index

    1 publications

    14 citations

  7. Cornell University

    Ithaca, United States

    1 h-index

    1 publications

    22 citations

  8. Max Planck Institute for Informatics

    Saarbrücken, Germany

    1 h-index

    3 publications

    36 citations

1–8 of 38

Venues

  1. Journal of Philosophical Logic

    5 publications · 870 citations

    5

    h-index

  2. Notre Dame Journal of Formal Logic

    3 publications · 86 citations

    3

    h-index

  3. Journal of Symbolic Logic

    3 publications · 1.2K citations

    3

    h-index

  4. Journal of Logic Language and Information

    2 publications · 104 citations

    2

    h-index

  5. Journal of Logic and Computation

    2 publications · 55 citations

    2

    h-index

1–5