Concepedia
Studia Logica · 1991 · 60 citations · 30 references
EngineeringAutomated ReasoningFormal MethodsModel InterpretabilityInterpretabilityLanguage StudiesSemanticsFormalizationInterpretation TechniqueLinguistics
30
Arithmetization of metamathematics in a general setting
Solomon Feferman · Fundamenta Mathematicae · 1960 · 443 citations · Full text
Engineering, Automated Reasoning, Formal Methods +4
Existence and feasibility in arithmetic
Rohit Parikh · Journal of Symbolic Logic · 1971 · 331 citations
Mathematical Programming, Intuitionistic Logic, Ordinary Mathematics +10
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp.
George Boolos · Journal of Symbolic Logic · 1988 · 239 citations
Formal Logic, Non-classical Logic, Engineering +14
On the justification of Dempster's rule of combination
Frans Voorbraak · Artificial Intelligence · 1991 · 205 citations
Combinatorial Design, Dempster-shafer Theory
On the scheme of induction for bounded arithmetic formulas
A. J. Wilkie, J. B. Paris · Annals of Pure and Applied Logic · 1987 · 205 citations
Engineering, Automated Reasoning, Proof Complexity +4