Concepedia

Francisco Antônio Dória

FA

14

Publications

398

Citations

12

H-Index

1975

Active since

Affiliations

Universidade de São Paulo(Current)

Universidade Federal do Rio de Janeiro

Stanford University

Francisco Antônio Dória is an author at Universidade de São Paulo specializing in engineering, automated reasoning, and business.

Top concepts

EngineeringBusinessAutomated ReasoningEconomicsComputer ScienceArtsGamesPhysicsLanguageGeography

Publications per year

1975–2017

14

Publications

14

Undecidability and incompleteness in classical mechanics

Newton C. A. da Costa, Francisco Antônio Dória · International Journal of Theoretical Physics · 1991 · 122 citations

Engineering, Incompleteness, Automated Reasoning +4

On Jaśkowski's discussive logics

Newton C. A. da Costa, Francisco Antônio Dória · Studia Logica · 1995 · 46 citations

Philosophy Of Language, Automated Reasoning, Classical Logic +6

Classical physics and Penrose's thesis

Newton C. A. da Costa, Francisco Antônio Dória · Foundations of Physics Letters · 1991 · 39 citations

History Of Science, Classical Physics, Philosophy Of Physic +2

A Suppes predicate for general relativity and set-theoretically generic spacetimes

Newton C. A. da Costa, Francisco Antônio Dória, J. Acácio de Barros · International Journal of Theoretical Physics · 1990 · 31 citations

General Relativity, Special Relativity, Suppes Predicate +2

The Incompleteness of Theories of Games

Marcelo Tsuji, Newton C. A. da Costa, Francisco Antônio Dória · Journal of Philosophical Logic · 1998 · 28 citations

Game Design, Combinatorial Game, Game Theory +6

Rows per page

1–5 of 14