First-Order Modal Logic

Autori

• M. Fitting
• Richard L. Mendelsohn

Parametri

• Filosofia
• Logica

Maggiori informazioni sul libro

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.

Per saperne di più

Lingua: Inglese

Pubblicato: 1999

(In brossura)