Inference rules with metavariables and logical equations in the pretabular modal logic PM1

✍ Scribed by V. R. Kiyatkin

• Book ID: 110612592
• Publisher: SP MAIK Nauka/Interperiodica
• Year: 2000
• Tongue: English
• Weight: 701 KB
• Volume: 41
• Category: Article
• ISSN: 0037-4466
• DOI: 10.1007/bf02673997