First-Order Modal Logic

Name: First-Order Modal Logic
Brand: Springer, Berlin
SKU: 9783031407130
Price: 661.72 RON
Availability: InStock

Autor: Melvin Fitting, Richard L. Mendelsohn

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

661.72 lei

This is a thorough treatment of first-order modal logic. The book covers such issues as quantificati...

Informații despre carte

Autor

Melvin Fitting, Richard L. Mendelsohn

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2023

Pagini

480

EAN

9783031407130

Enbook ID

43748751

Editura

Springer, Berlin

Greutate

847

Dimensiuni

155 x 235

Descriere completă

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

S-ar putea să te intereseze

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

First-Order Modal Logic

Informații despre carte

Descriere completă

S-ar putea să te intereseze

First-Order Logic and Automated Theorem Proving

Justification Logic

Customer Success Management

Classical First-Order Logic

Cost of Free Shipping

Gentzen Calculi for Modal Propositional Logic

First-Order Logic

Leading Ladies

First-Order Modal Logic

Metalogic

Modal Logic

Modal Logic

Student Options

Did I Really Sign Up For This

Fascism and Anti-Fascism in Twentieth-Century British Fiction

Disciplines of a Godly Woman

Code Complete

Like, Comment, Subscribe

Michael Storrings Springtime at the Library 500 Piece Double-Sided Puzzle

The Culture Code

Fourth Wing

Goodnight, Beautiful

Blue Period 14

A Sign of Affection 2