Das Buch ist derzeit nicht auf Lager

First-Order Modal Logic

Autoren

M. Fitting
Richard L. Mendelsohn

Buchbewertung

4,4(26)Abgeben

Parameter

Logik
Philosophie

Mehr zum Buch

Fitting and Mendelsohn offer an in-depth exploration of first-order modal logic, utilizing possible world models, tableau proofs, and philosophical discussions. Key topics include quantification, equality, existence, non-rigid constants, predicate abstraction, and definite descriptions, addressing significant philosophical issues.