DM Gabbay, I Hodkinson, M Reynolds, M Finger

Clarendon Press 1, 653, 1994

M Finger, DM Gabbay

Journal of Logic, Language and Information 1, 203-233, 1992

A Goldchleger, F Kon, A Goldman, M Finger, GC Bezerra

Concurrency and Computation: Practice and Experience 16 (5), 449-459, 2004

M Finger, D Gabbay

Notre Dame Journal of Formal Logic 37 (2), 204-232, 1996

FSC Da Silva, WW Vasconcelos, DS Robertson, V Brilhante, ...

Knowledge-Based Systems 15 (3), 147-167, 2002

FSC da Silva, M Finger, ACV de Melo

Cengage Learning Edições Ltda., 2017

SM Aluísio, GM Pinheiro, M Finger, MGV Nunes, SEO Tagnin

Proceedings, 2003

M D’Agostino, M Finger, D Gabbay

Theoretical Computer Science 480, 43-68, 2013

M Finger, G De Bona

Twenty-Second International Joint Conference on Artificial Intelligence, 2011

M Finger, M Fisher, R Owens

Sixth International Conference on Industrial and Engineering Applications of …, 1993

G De Bona, M Finger

Artificial Intelligence 227, 140-164, 2015

M Finger, R Wasserman

Journal of Logic and Computation 14 (2), 179-204, 2004

M Finger, D Gabbay

Journal of Logic, Language and Information 15 (3), 195-218, 2006

M Finger

Journal of Applied Non-Classical Logics 2 (2), 201-224, 1992

M Finger, MA Weiss

Logic Journal of IGPL 10 (2), 165-189, 2002

K Broda, M Finger, A Russo

Logic Journal of the IGPL 7 (3), 283-318, 1999

M Finger, GC Bezerra, DR Conde

Concurrency and Computation: Practice and Experience 22 (3), 295-313, 2010

R Fajardo, M Finger

Advances in Modal Logic 4, 83-95, 2002

M Finger

Proceedings of PROPOR, Sao Paulo, 141-154, 2000

JE Ferreira, M Finger

IME-USP, 2000