Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity |
| |
| Authors: | Mateus, Paulo Sernadas, Amilcar Sernadas, Cristina Vigano, Luca |
| |
| Affiliation: | 1 CLC, Dep. Matemática, IST, Av. Rovisco Pais, 1049-001, Lisbon, Portugal. E-mail: pmat{at}math.ist.utl.pt, acs{at}math.ist.utl.pt, css{at}math.ist.utl.pt 2 ETH Zentrum, IFW C43.1 Haldeneggsteig 4 CH-8092 Zürich, Switzerland. E-mail: vigano{at}inf.ethz.ch |
| |
| Abstract: | |
| |
| Keywords: | modal logic sequent calculus labelled deduction |
| 本文献已被 Oxford 等数据库收录！ |
|
