ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais

First Page		Document Content
Date: 2015-03-23 07:13:23		ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais Add to Reading List Source URL: www.anupamdas.com Download Document from Source Website File Size: 605,00 KB Share Document on Facebook