Concepedia

Beth Semantics

Beth Semantics is a formal semantics for intuitionistic logic that uses the framework of tree-like structures with transition conditions to model the evolution of knowledge, distinguishing itself from other semantics by incorporating backward-looking accessibility and consistency constraints in the evaluation of formulas.

25

Publications

1K

Citations

26

Authors

16

Institutions

Publications per year

2017–2026

1

Parents

Publications

25

On the Extension of Beth's Semantics of Physical Theories

Bas C. van Fraassen · Philosophy of Science · 1970 · 300 citations

, , +16

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 69 citations

, , +14

An intuitiomstic completeness theorem for intuitionistic predicate logic

Wim Veldman · Journal of Symbolic Logic · 1976 · 64 citations

, , +14

E. W. Beth. Semantic construction of intuitionistic logic. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, n.s. vol. 19 no. 11 (1956), pp. 357–388.

S. C. Kleene · Journal of Symbolic Logic · 1957 · 51 citations

, , +7

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation

Franco Montagna · Annals of Pure and Applied Logic · 2005 · 47 citations

, , +15

1–5 of 25

Authors

26

  1. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    4 publications · 81 citations

    4

    h-index

  2. HL
    Hugues Leblanc

    Temple University, United States

    2 publications · 33 citations

    2

    h-index

  3. WV
    Wim Veldman

    Radboud University Nijmegen, Netherlands

    2 publications · 133 citations

    2

    h-index

  4. HO
    Henry O. Thompson

    University of Nursing Yangon, Myanmar (Burma)

    1 publications · 31 citations

    1

    h-index

  5. JP
    Jeanne Peijnenburg

    University of Groningen, Netherlands

    1 publications · 15 citations

    1

    h-index

1–5 of 26

Institutions

16

  1. Stanford University

    Stanford, United States

    2 h-index

    2 publications

    59 citations

  2. University of Oxford

    Oxford, United Kingdom

    2 h-index

    3 publications

    66 citations

  3. New Mexico State University

    Las Cruces, United States

    1 h-index

    1 publications

    17 citations

  4. University of California, Santa Cruz

    Santa Cruz, United States

    1 h-index

    1 publications

    12 citations

  5. Temple College

    Temple, United States

    1 h-index

    1 publications

    15 citations

  6. Universidad Rey Juan Carlos

    Madrid, Spain

    1 h-index

    1 publications

    22 citations

  7. Universidad de Málaga

    Málaga, Spain

    1 h-index

    1 publications

    22 citations

  8. Dutch Research Council

    The Hague, The Netherlands

    1 h-index

    1 publications

    34 citations

1–8 of 16

Venues

  1. Journal of Symbolic Logic

    10 publications · 350 citations

    10

    h-index

  2. Algebra and Logic

    3 publications · 68 citations

    3

    h-index

  3. Studia Logica

    1 publications · 34 citations

    1

    h-index

  4. Journal of Biblical Literature

    SBL · 1 publications · 45 citations

    1

    h-index

  5. Kant-Studien

    1 publications · 15 citations

    1

    h-index

1–5