The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC

✍ Scribed by S. V. Babenyshev

• Publisher: Springer US
• Year: 1992
• Tongue: English
• Weight: 834 KB
• Volume: 31
• Category: Article
• ISSN: 0002-5232
• DOI: 10.1007/bf02259929