000			01846pam a2200253a 44500
008			150502b2000 xxu||||| |||| 00| 0 eng d
020			_a9788120331716
040			_cBITS Pilani Hyderabad _aBITS Pilani Hyderabad
041			_aENG
082			_a004.015113 HAR-D
100			_aHarel, David
245			_aDynamic logic / _cDavid Harel, Dexter Kozen and Jerzy Tiuryn
260			_aIndia _bPrentice Hall of India _c2000
300			_a459 p.
365			_aINR _b295.00.
500			_aDynamic Logic is a formal system for reasoning about programs and it also enjoys the singular advantage of being strongly related to classical logic. Traditionally, this has meant formalizing correctness specifications are met by a particular program. This book presents a comprehensive introduction to Dynamic Logic (DL). It can be described as a blend of three complementary classical ingredients: first-order predicate logic, modal logic, and the algebra of regular events. These components merge to form a system of remarkable unity that is theoretically rich as well as practical. The text is divided into three parts: Part I reviews the fundamental concepts of logic and computability theory that are needed in the study of Dynamic Logic. Part II discusses Propositional Dynamic Logic and its variants, and Part III discusses First-Order Dynamic and its variants. Examples are provided throughout, and a collection of exercises and a short historical section are included at the end of each chapter. The book will be well suited for the students of computer science and those pursuing postgraduate courses in philosophy.
650			_aFoundations of computing
650			_aFormal methods (Computer science)ﾠ
650			_aComputer logicﾠ
700			_aKozen, Dexter.
700			_aTiuryn, Jerzy
907			_a004.015113 HAR-D
942			_2ddc
999			_c13896 _d13896