This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the re

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the re

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the

This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.

Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpr