Many-sorted Logic and its Applications

By Karl Mainke

Prominent experts present papers which discuss problems regarding this subject. Coverage includes case studies in the translation of logics for second-order and propositional dynamic logic; many-sorted algebras and equational logic; logical foundations of artificial intelligence along with a variety of methods that exist to encode information; program verification techniques such as Floyd-Hoare, intermittent assertion and temporal logic of programs.

• Format: Hardcover
• Language: English
• ISBN: 0471934852
• ISBN13: 9780471934851
• Release Date: March 1993
• Publisher: Wiley
• Length: 416 Pages
• Weight: 1.70 lbs.
• Dimensions: 9.3" x 1.2" x 6.1"