TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs


Autoria(s): Fitting, Melvin
Data(s)

01/01/2003

Formato

application/pdf

Identificador

http://academicworks.cuny.edu/gc_cs_tr/231

http://academicworks.cuny.edu/cgi/viewcontent.cgi?article=1230&context=gc_cs_tr

Idioma(s)

English

Publicador

CUNY Academic Works

Fonte

Computer Science Technical Reports

Palavras-Chave #Computer Sciences
Tipo

report