Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics

✍ Scribed by Marta Cialdea Mayer; Serenella Cerrito

• Book ID: 110324684
• Publisher: Springer Netherlands
• Year: 2001
• Tongue: English
• Weight: 369 KB
• Volume: 69
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1023/a:1013838528631