First-Order Modal Logic
1998
0
1
0
Ma note
1
2
3
4
5
6
7
8
9
10
Écrire une critique
Lu
Envie de le lire
En cours
Coup de cœur
Ajouter à une liste
Accès rapide
Description
Activités
Livre de Melvin Fitting et Richard L. Mendelsohn · 1998
Genres : Guide & manuel, Philosophie, SciencesFitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers;... Voir plus
