Bookbot

First-Order Modal Logic

Valutazione del libro

4,4(26)Aggiungi una valutazione

Parametri

Pagine
480pagine
Tempo di lettura
17ore

Maggiori informazioni sul libro

The book provides an in-depth exploration of first-order modal logic, integrating new insights and revisions since its original 1998 publication. It employs a threefold approach using possible world models, tableau proof systems, and philosophical discourse. Key topics include quantification, the distinction between actualist and possibilist quantifiers, and the treatment of existence, non-rigid constants, and predicate abstraction. The authors also address significant philosophical issues, drawing on Fregean and Russellian theories to clarify complex concepts like nonexistence and definite descriptions.

Pubblicazione

Acquisto del libro

First-Order Modal Logic, Melvin Fitting, Richard L. Mendelsohn

Lingua
Pubblicato
2023
product-detail.submit-box.info.binding
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

4,4
Molto buono
26 Valutazioni

Qui potrebbe esserci la tua recensione.