First Steps in Modal Logic - Popkorn, Sally
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre98,10 €
Occasion · Comme Neuf
Ou 24,53 € /mois
- Livraison : 25,00 €
- Livré entre le 13 et le 18 juin
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur First Steps In Modal Logic Format Broché - Livre
0 avis sur First Steps In Modal Logic Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation First Steps In Modal Logic Format Broché
- Livre
Sommaire:
Introduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. L?b logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.
Détails de conformité du produit
Personne responsable dans l'UE