Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

✍ Scribed by Franco Montagna; Hiroakira Ono

• Book ID: 110348539
• Publisher: Springer Netherlands
• Year: 2002
• Tongue: English
• Weight: 667 KB
• Volume: 71
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1023/a:1016500922708