Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators

✍ Scribed by Dyckhoff, Roy; Sadrzadeh, Mehrnoosh; Truffaut, Julien

• Book ID: 123025120
• Publisher: Elsevier Science
• Year: 2012
• Tongue: English
• Weight: 293 KB
• Volume: 286
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/j.entcs.2012.08.011