Download or read book Many-sorted Logic and Its Applications written by K. Meinke and published by . This book was released on 1993-03-09 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.