Skip to content

Modal Logic
Stock Photo: Cover May Be Different

Modal Logic Hardcover - 2001 - 1st Edition

by Patrick Blackburn; Maarten de Rijke; Yde Venema


From the publisher

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.

First line

Languages of propositional modal logic are propositional languages to which sentential operators (usually called modalities or modal operators) have been added.

Details

  • Title Modal Logic
  • Author Patrick Blackburn; Maarten de Rijke; Yde Venema
  • Binding Hardcover
  • Edition number 1st
  • Edition 1
  • Pages 576
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date June 28, 2001
  • ISBN 9780521802000 / 0521802008
  • Weight 2.02 lbs (0.92 kg)
  • Dimensions 8.98 x 5.98 x 1.42 in (22.81 x 15.19 x 3.61 cm)
  • Library of Congress subjects Modality (Logic)
  • Library of Congress Catalog Number 00054667
  • Dewey Decimal Code 511.3