Marcelo Finger

Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay · Journal of Logic Language and Information · 1992 · 188 citations

Humanities, Computer Science, Systems Engineering +14

Combining Temporal Logic Systems

Marcelo Finger, Dov M. Gabbay · Notre Dame Journal of Formal Logic · 1996 · 58 citations · Full text

Humanities, Computer Science, Formal Methods +13

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions

Flávio S. Corrêa da Silva, Wamberto Vasconcelos, David S. Robertson et al. · Knowledge-Based Systems · 2002 · 50 citations

Management, Information Systems, Knowledge Management +14

Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation

Glauber De Bona, Marcelo Finger · Artificial Intelligence · 2015 · 45 citations · Full text

Humanities, Philosophy, Logic +11

Handling database updates in two-dimensional temporal logic

Marcelo Finger · Journal of Applied Non-Classical Logics · 1992 · 37 citations

Computing, Computer Science, Information Systems +10