by RichardL.Mendelsohn (Author), M . Fitting (Author)
Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Format: Illustrated
Pages: 304
Edition: Softcover reprint of the original 1st ed. 1998
Publisher: Springer
Published: 31 Aug 1999
ISBN 10: 0792353358
ISBN 13: 9780792353355