An admissibility criterion for inference rules with metavariables in the modal logicS4.αN

✍ Scribed by A. N. Rutskii

• Publisher: SP MAIK Nauka/Interperiodica
• Year: 2007
• Tongue: English
• Weight: 201 KB
• Volume: 48
• Category: Article
• ISSN: 0037-4466
• DOI: 10.1007/s11202-007-0033-1