Tools and techniques in modal logic

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It pres...

Full description

Bibliographic Details
Main Author: Kracht, Marcus
Format: eBook
Language:English
Published: Amsterdam Elsevier 1999, 1999
Edition:1st ed
Series:Studies in logic and the foundations of mathematics
Subjects:
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Description
Summary:This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book
Physical Description:xiii, 559 pages illustrations
ISBN:9780444500557