Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability

✍ Scribed by J. Sakalauskaitė

• Publisher: Springer
• Year: 2007
• Tongue: English
• Weight: 120 KB
• Volume: 47
• Category: Article
• ISSN: 0363-1672
• DOI: 10.1007/s10986-007-0019-5