Avis des lecteurs
Il n'y a actuellement aucun avis de lecteur. La note est basée sur 2 votes.
Titre original :
Advances in Modal Logic, Volume 13
Contenu du livre :
La logique traite des notions fondamentales de vérité et de fausseté. La logique modale est née de l'étude philosophique des « modes de vérité ».
Étude philosophique des « modes de vérité », les deux modes les plus courants étant « nécessairement vrai » et « possiblement vrai ». De nos jours, la logique modale est utilisée pour raisonner sur la connaissance, les obligations, les programmes et le temps, entre autres.
La recherche actuelle en logique modale couvre la philosophie, l'informatique et les mathématiques en utilisant des techniques issues des structures relationnelles, de l'algèbre universelle, de la topologie et de la théorie de la preuve.
Ces actes reprennent les documents présentés lors de la conférence 2020 sur les progrès de la logique modale, une série de conférences biennales dont l'objectif est de rendre compte des nouveaux développements importants dans le domaine de la logique modale pure et appliquée.
Les sujets incluent les résultats de décidabilité et de complexité, la théorie de la preuve, la théorie des modèles, l'interpolation, les problèmes liés à la logique algébrique, ainsi que l'histoire du raisonnement modal.
Autres informations sur le livre :
| ISBN : | 9781848903418 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
