A textbook on modal and other intensional logics. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logi

MISSING CHILD Kate Elliot's suburban life turns upside down when her sister is shot and her niece kidnapped. Unsure of whom to trust, she turns to FBI agent Mar

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysi

Sequestered within the heart of a cosmopolitan city is an exotic world—a place where diamonds, astronomically priced, are bought and sold on the strength of a

Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retai