Böcker av Robert Goldblatt

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

This volume collects together some of the author's papers on modal logic, including work on the duality between algebraic and set-theoretic modals, on infinitary rules of inference, and on recent results on the relationship between modal logic and first-order logic.

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.