Advances in Modal Logic 14
Depuis l'Antiquité, les philosophes reconnaissent que la vérité se présente sous plusieurs « modes ».
De nombreux « modes », de sorte qu'une proposition peut être non seulement vraie ou fausse, mais aussi « nécessaire » ou « possible ».
Elle peut également être « nécessaire » ou « possible ». Ces idées ont conduit au domaine moderne de la logique modale.
De la logique modale, un domaine de recherche vivant à l'intersection de la philosophie, des mathématiques et de l'informatique.
philosophie, des mathématiques et de l'informatique.
De nos jours, le terme « logique modale » est compris dans un sens large, qui.
Elle permet de raisonner sur des phénomènes apparemment sans rapport les uns avec les autres.
Tels que la connaissance, les obligations, le temps, l'espace et les preuves, parmi beaucoup d'autres.
D'autres. La recherche actuelle en logique modale s'appuie sur des techniques issues de nombreuses.
disciplines, notamment la théorie de la complexité, la combinatoire, l'algèbre universelle.
L'algèbre universelle, la théorie des catégories, la topologie et la théorie de la preuve.
Ces actes reprennent les documents présentés lors de la conférence 2022 Advances in.
Modal Logic, une série de conférences biennales dont l'objectif est de rendre compte des.
Nouveaux développements importants en logique modale pure et appliquée. Les sujets.
Cette édition traite de la logique modale constructive et sous-structurale, de l'unification, de la logique algébrique et de la logique modale appliquée.
Unification, sémantique algébrique et de voisinage, théorie de la preuve et.
Complexité des logiques modales et vérification en logique modale.
| ISBN : | 9781848904132 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Actuellement disponible, en stock.
