LICS   2012 Symposium on Logic in Computer Science
Wall of Fame | Most Viewed LICS-2012 Paper
10 years 8 months ago
Countermodels from Sequent Calculi in Multi-Modal Logics
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
Deepak Garg, Valerio Genovese, Sara Negri
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source286
2Download preprint from source280
3Download preprint from source278
4Download preprint from source276
5Download preprint from source266
6Download preprint from source260
7Download preprint from source248
8Download preprint from source247
9Download preprint from source241
10Download preprint from source240
11Download preprint from source237
12Download preprint from source203