Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster

✍ Scribed by Tatsuya Shimura

• Book ID: 110221321
• Publisher: Springer Netherlands
• Year: 2000
• Tongue: English
• Weight: 162 KB
• Volume: 65
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1023/a:1005219831286