Logics of some kripke frames connected with Medvedev notion of informational types

✍ Scribed by V. B. Shehtman; D. P. Skvortsov

• Book ID: 105388746
• Publisher: Springer Netherlands
• Year: 1986
• Tongue: English
• Weight: 998 KB
• Volume: 45
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf01881552