First-Order Modal Logic
暫譯: 一階模態邏輯

這本高度推薦的書籍《一階模態邏輯》的修訂版，最初於1998年出版，包含了反映最新科學發展的新章節和修改過的章節。Fitting 和 Mendelsohn 對一階模態邏輯進行了全面的探討，並提供了一些命題背景。他們採用三重方法進行論述。在語義上，他們使用可能世界模型；形式證明機制則是表格；並提供了充分的哲學討論，探討技術發展如何影響著名的哲學問題。這本書涵蓋了量化本身，包括實在主義（actualist）和可能主義（possibilist）量詞之間的差異；平等性，進而處理弗雷格（Frege）的晨星/夕星難題；存在的概念及其周圍的邏輯問題；非剛性常數和函數符號；謂詞抽象，這是從公式中抽象出一個謂詞，實際上為常數和函數符號提供了一個範疇功能，從而澄清了幾個哲學問題核心的模糊解讀；非存在與非指定之間的區別；以及確定描述，借鑒了弗雷格（Frege）和羅素（Russell）的範式。

第一版評價：「這本書是一部優秀且非常有用的著作。它的難度設定恰到好處：練習題正合適……它為後續的任何作品樹立了高標準。強烈推薦。」
（《符號邏輯通訊》，8:3）

Melvin Fitting was a student of Raymond Smullyan. His dissertation became his first book, Intuitionistic Logic, Model Theory, and Forcing (1969). Since then he has authored or co-authored eleven books and served as editor for another three, as well as writing over 130 papers and book chapters. Among the areas he has worked in are intensional logic, semantics for logic programming, fixpoint theories of truth, and justification logic. A significant part of his work has involved developing tableau systems for non-classical logics, thus generalizing the classical systems of his mentor Smullyan. In 2012 he received the Herbrand Award from the Conference on Automated Deduction, largely for this tableau work, and in 2019 he received an honorary PhD from the University of Bucharest. He was on the faculty of the City University of New York from 1969 to his retirement in 2013. At CUNY he was at the undergraduate Lehman College, and at the City University Graduate Center, where he was in the Departments of Mathematics, Computer Science, and Philosophy. He is now an emeritus Professor, but very much active.
Richard L. Mendelsohn studied philosophy, logic and linguistics while a graduate student at M.I.T. Among the areas he has worked in are modal logic, philosophical logic, philosophy of language, history of early modern analytic philosophy, and the philosophy of Gottlob Frege. He has authored or coauthored 3 books, and many articles and reviews. He was on the faculty of the City University of New York from 1968 until his retirement in 2014. He continues now as an emeritus Professor at CUNY. In addition, after visiting for many years, he has, since 2014, been an Adjunct Professor of Logic and the Philosophy of Science at the University of California, Irvine and a member of the Center for the Advancement of Logic there. At CUNY he taught at the undergraduate Lehman College and at the City University Graduate Center, where he was a member of the Department of Philosophy, serving as chair from 1993 to 1998, as well as a member of the Department of Linguistics.

梅爾文·費廷是雷蒙德·斯穆利安的學生。他的論文成為他的第一本書，直覺邏輯、模型理論與強迫（1969年）。自那時以來，他已經撰寫或共同撰寫了十一本書，並擔任另外三本書的編輯，還撰寫了超過130篇論文和書章。他的研究領域包括意向邏輯、邏輯程式設計的語義、真理的固定點理論以及正當性邏輯。他的工作中有相當一部分涉及為非經典邏輯開發表格系統，從而推廣了他的導師斯穆利安的經典系統。2012年，他因這項表格工作獲得自動推理會議的赫爾班獎，並在2019年獲得布加勒斯特大學的榮譽博士學位。他在1969年至2013年退休期間任教於紐約市立大學。在CUNY，他在本科的萊曼學院和市立大學研究中心任教，並在數學、計算機科學和哲學系任職。他現在是名譽教授，但仍然非常活躍。
理查德·L·門德爾森在麻省理工學院攻讀研究生時學習哲學、邏輯和語言學。他的研究領域包括模態邏輯、哲學邏輯、語言哲學、早期現代分析哲學的歷史以及戈特洛布·弗雷格的哲學。他已經撰寫或共同撰寫了三本書，以及許多文章和評論。他在1968年至2014年退休期間任教於紐約市立大學。現在他作為CUNY的名譽教授繼續工作。此外，在多年訪問後，自2014年以來，他一直擔任加州大學爾灣分校的邏輯與科學哲學的兼任教授，並成為那裡邏輯推進中心的成員。在CUNY，他在本科的萊曼學院和市立大學研究中心任教，並在哲學系任職，於1993年至1998年擔任系主任，同時也是語言學系的成員。