Concepedia

Hajnal Andréka

HA

Statistics

Publications

36

Citations

1.8K

H-Index

22

Active since

1975

Affiliations

Hungarian Academy of Sciences(Current)

Alfréd Rényi Institute of Mathematics

Birkbeck, University of London

University of Amsterdam

Mills College

Hajnal Andréka is an author at Hungarian Academy of Sciences specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsRepresentation TheorySemanticsFormal VerificationVerificationLanguageLinguisticsComputer Science

Publications per year

1975–2011

36

Publications

36

Modal Languages and Bounded Fragments of Predicate Logic

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

Syntax, Engineering, Automated Reasoning +8

Operators and Laws for Combining Preference Relations

Hajnal Andréka · Journal of Logic and Computation · 2002 · 139 citations

The generalized completeness of Horn predicate-logic as a programming language.

Hajnal Andréka, István Németi · Acta Cybernetica · 1978 · 59 citations · Full text

Computational Logic, Engineering, Automated Reasoning +10

A complete logic for reasoning about programs via nonstandard model theory I

Hajnal Andréka, István Németi, Ildikó Sain · Theoretical Computer Science · 1982 · 59 citations

Reasoning, Applied Logic, Computational Logic +11

Back and Forth Between Modal Logic and Classical Logic

Hajnal Andréka, Johan van Benthem, István Németi · Logic Journal of IGPL · 1995 · 56 citations

Theory Of Computing, Non-classical Logic, Engineering +9

1–5 of 36