Concepedia

Axiomatization

Axiomatization is a formal system characterized as a set of formulas or inference rules within a logical framework that specifies the foundational principles and derivable truths of a theory, distinguished by its role in systematically encoding the necessary and sufficient conditions for reasoning about processes or temporal properties.

590

Publications

35.3K

Citations

794

Authors

420

Institutions

Publications per year

2017–2026

49

Parents

Publications

590

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

Notes on formalizing context

John McCarthy · CogPrints (University of Southampton) · 1993 · 766 citations

, , +14

Case-Based Decision Theory

Itzhak Gilboa, David Schmeidler · The Quarterly Journal of Economics · 1995 · 674 citations

, , +16

Temporal logic can be more expressive

Pierre Wolper · Information and Control · 1983 · 658 citations

, , +11

1–5 of 590

Authors

794

  1. JY
    Joseph Y. Halpern

    Cornell University, United States

    19 publications · 1.5K citations

    17

    h-index

  2. LA
    Luca Aceto

    Aalborg University, Denmark

    11 publications · 221 citations

    11

    h-index

  3. WF
    Wan Fokkink

    Vrije Universiteit Amsterdam, Netherlands

    8 publications · 198 citations

    8

    h-index

  4. NP
    Nam P. Suh

    Massachusetts Institute of Technology, United States

    6 publications · 829 citations

    6

    h-index

  5. RV
    Ron van der Meyden

    UNSW Sydney, Australia

    6 publications · 352 citations

    6

    h-index

1–5 of 794

Institutions

420

  1. University of Amsterdam

    Amsterdam, The Netherlands

    15 h-index

    25 publications

    936 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    14 h-index

    17 publications

    886 citations

  3. Utrecht University

    Utrecht, The Netherlands

    12 h-index

    15 publications

    437 citations

  4. Stanford University

    Stanford, United States

    11 h-index

    18 publications

    2.4K citations

  5. Cornell University

    Ithaca, United States

    11 h-index

    13 publications

    1.2K citations

  6. Université Toulouse III - Paul Sabatier

    Toulouse, France

    11 h-index

    17 publications

    952 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    10 h-index

    20 publications

    1.5K citations

  8. Aalborg University

    Aalborg, Denmark

    10 h-index

    15 publications

    328 citations

1–8 of 420

Venues

  1. Journal of Symbolic Logic

    30 publications · 1.9K citations

    22

    h-index

  2. Journal of Logic and Computation

    16 publications · 589 citations

    14

    h-index

  3. Notre Dame Journal of Formal Logic

    16 publications · 550 citations

    13

    h-index

  4. Studia Logica

    15 publications · 460 citations

    11

    h-index

  5. Information and Computation

    11 publications · 1K citations

    11

    h-index

1–5