剧情简介：In Part 1, the reader is introduced to some standard systems of modal logic and provided with a series of exercises that encourage proficiency in manipulating these logics. Girle emphasizes possible world semantics for modal logics and its formal method, Jeffrey-style truth-trees, in which standard truth-trees are extended in a simple and transparent way to take possible worlds...(展开全部)
作者：Rod Girle
出版社：McGill-Queen's University Press
ISBN：9780773536487
