Sequent Calculi with Analytic Cut for Logics of Time and Knowledge with Perfect Recall

✍ Scribed by J. Sakalauskaitė

• Book ID: 111597511
• Publisher: Springer
• Year: 2004
• Tongue: English
• Weight: 155 KB
• Volume: 44
• Category: Article
• ISSN: 0363-1672
• DOI: 10.1023/b:lima.0000033782.97134.a5