Concepedia

Syntax Of Propositional Logic

Syntax of Propositional Logic is the formal system that specifies the permissible structure and formation rules for well-formed formulas in propositional logic, distinguishing it from semantic interpretations by governing the syntactic composition of logical expressions.

268

Publications

17.7K

Citations

375

Authors

235

Institutions

Publications per year

2017–2026

7

Parents

Publications

268

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

, , +4

Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Saul A. Kripke · Mathematical logic quarterly · 1963 · 1.3K citations

, , +15

Introduction to a General Theory of Elementary Propositions

Emil L. Post · American Journal of Mathematics · 1921 · 1K citations

, , +7

On axiom systems of propositional calculi, XIV

Yasuyuki Imai, Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 546 citations · Full text

, , +13

An algebra related with a propositional calculus

Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 1966 · 457 citations

, , +13

1–5 of 268

Authors

375

  1. MF
    Melvin Fitting

    Lehman College, United States

    5 publications · 192 citations

    5

    h-index

  2. DK
    Dexter Kozen

    Cornell University, United States

    5 publications · 2.1K citations

    5

    h-index

  3. PL
    Paolo Liberatore

    Sapienza University of Rome, Italy

    4 publications · 417 citations

    4

    h-index

  4. RA
    R. A. Bull

    University of Canterbury, New Zealand

    4 publications · 106 citations

    4

    h-index

  5. PM
    Pierre Marquis

    Université d'Artois, France

    4 publications · 322 citations

    4

    h-index

1–5 of 375

Institutions

235

  1. Centre National de la Recherche Scientifique

    Paris, France

    9 h-index

    15 publications

    617 citations

  2. Stanford University

    Stanford, United States

    8 h-index

    12 publications

    1.1K citations

  3. Sapienza University of Rome

    Rome, Italy

    5 h-index

    9 publications

    667 citations

  4. University of Toronto

    Toronto, Canada

    4 h-index

    4 publications

    239 citations

  5. University of Oxford

    Oxford, United Kingdom

    4 h-index

    4 publications

    318 citations

  6. Czech Academy of Sciences, Institute of Mathematics

    Prague, Czechia

    4 h-index

    4 publications

    187 citations

  7. Arizona State University

    Tempe, United States

    4 h-index

    7 publications

    198 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    4 h-index

    4 publications

    149 citations

1–8 of 235

Venues

  1. Studia Logica

    19 publications · 638 citations

    14

    h-index

  2. Journal of Symbolic Logic

    15 publications · 1K citations

    13

    h-index

  3. Journal of Logic and Computation

    11 publications · 292 citations

    11

    h-index

  4. Notre Dame Journal of Formal Logic

    12 publications · 443 citations

    11

    h-index

  5. Theoretical Computer Science

    11 publications · 2.5K citations

    10

    h-index

1–5