Many-sorted logic and its applications

Front Cover
Wiley, Mar 9, 1993 - Computers - 397 pages
0 Reviews
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


On Bounds for the Specification of Finite Data Types
List of Contributors
U Pletat J V Tucker

13 other sections not shown

Other editions - View all

Common terms and phrases

References to this book

Le savoir et l'ordinateur
Denis Berthier
No preview available - 2002
All Book Search results »

About the author (1993)

John E Tucker holds graduate and undergraduate degrees from The American University and Strayer University and has more than thirty four years of experience in Higher Education, Information Technology, Government, and Business He has held positions as Provost, Chief Academic Officer, Senior Academic Officer, Vice President of Information Systems, Director of Systems Engineering, Dean of Curriculum Development, Dean of Academic Technology, Director of Operations, Campus Director, and Campus Dean. John was the creator of Strayer University's Distance Learning Program and server as the Director for the first two years. He served on the Board of Directors of Strayer University and helped Strayer grow from 1989-2000. John has worked in both Regional and National accredited educational institutions helping institutions obtain and maintain their accreditation.

Bibliographic information