Authors: João Rasga, Karina Roggia, Cristina Sernadas
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf.
Subject Terms: fusion of modal logic, labelled deduction, sequent calculi
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.3684; http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf
Availability: http://sqig.math.ist.utl.pt/pub/RasgaJ/10-RRS-gtf04.pdf