Handbook of modal logic.
Le Manuel de la logique modale contient 20 articles, qui présentent collectivement la logique modale contemporaine, examinent la recherche actuelle et indiquent la manière dont le domaine se développe. Les articles examinent le domaine à partir d'une grande variété de perspectives: la théorie s...
সংরক্ষণ করুন:
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Amsterdam ; Boston :
Elsevier
2007.
|
| অনলাইন ব্যবহার করুন: | Accès INSA CVL |
| টীকা: |
Description basée sur la version imprimée de l'enregistrement L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition Book Collection (EBSCOhost) |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 05326nam a22003017a 4500 | ||
|---|---|---|---|
| 001 | 830048 | ||
| 008 | 201007s2007 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN24961765X | ||
| 020 | |a 1280729163 | ||
| 020 | |a 9781280729164 | ||
| 020 | |a 0080466664 | ||
| 020 | |a 9780080466668 | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Blackburn, Patrick, |d 1959- | |
| 245 | 1 | 0 | |a Handbook of modal logic. |
| 260 | |a Amsterdam ; |a Boston : |b Elsevier, |c 2007. | ||
| 300 | |a 1 ressource en ligne (1261 p.). | ||
| 500 | |a Description basée sur la version imprimée de l'enregistrement | ||
| 500 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 500 | |a Book Collection (EBSCOhost) | ||
| 505 | 0 | |a Front Cover; Manuel de logique modale; Page de droits d'auteur; Table des matières; Liste des contributeurs; Préface; Partie 1. Théorie de base; Chapitre 1 Logique modale: une perspective sémantique; 1. Introduction; 2 Logique modale de base; 2.1 Premiers pas en sémantique relationnelle; 2.2 La traduction standard; 3 Bisimulation et définissabilité; 3.1 Faire des distinctions; 3.2 Bisimulation; 3.3 Invariance et définissabilité en logique du premier ordre; 3.4 Invariance et définissabilité en logique modale; 3.5 Comparaison de la logique modale et de la logique du premier ordre; 3.6 Bisimulation en tant que jeu; 4 Calcul et complexité; 4.1 Vérification du modèle - 6.8 Logiques combinées 6.9 Logique modale du premier ordre; 6.10 Perspectives générales; 7 Sémantique alternative; 7.1 Sémantique algébrique; 7.2 Sémantique de voisinage; 7.3 Sémantique topologique; 8 Logique modale et son environnement changeant; Remerciements; Bibliographie; Chapitre 2 Théorie de la preuve modale; 1. Introduction; 2 axiomatique modale; 2.1 Systèmes Axiom normaux; 2.2 Solidité et exhaustivité; 2.3 Difficultés et GL; 2.4 Formules Sahlqvist; 3 Déduction et le théorème de la déduction; 4 Déduction naturelle; 4.1 Déduction naturelle classique; 4.2 Déduction naturelle modale; 5 Tableaux sémantiques-5.1 Un système de tableau classique5.2 Tableaux modaux destructeurs; 5.3 Solidité et exhaustivité; 5.4 Le Logic GL; 5.5 Remarques sur Tableau; 6 Tableaux préfixés; 6.1 Un système préfixé pour K; 6.2 Solidité et exhaustivité; 6.3 Autres logiques modales; 7 systèmes Gentzen; 7.1 Séquents propositionnels classiques; 7.2 Séquences de proposition modales; 8 hyperséquents; 8.1 Hypersequents pour S5; 8.2 Exemples; 8.3 Solidité et exhaustivité; 9 Logiques de la connaissance; 9.1 Une logique de base de la connaissance; 9.2 Connaissances communes; 10 Converse; 11 La modalité universelle et la modalité de différence; 12 Quelles sont les limites-13 Logique modale quantifiée 13.1 Syntaxe et sémantique; 13.2 Tableaux de domaine constant; 13.3 Solidité et exhaustivité; 13.4 Variations; 14 Conclusion; Bibliographie; Chapitre 3 Complexité de la logique modale; 1. Introduction; 1.1 Exemples de problèmes de décision en logique modale; 1.2 Un problème simple et difficile; 1.3 Le problème de la vérification du modèle; 1.4 Le problème des conséquences; 1.5 Une logique de pavage; 2 algorithmes de décision; 2.1 Sélection des points; 2.2 Filtration; 2.3 Élimination du set Hintikka; 2.4 Élimination des ensembles Hintikka sans contraintes; 2.5 Forcer des chemins exponentiellement profonds; 2.6 Automates d'arbres; 2.7 Pseudo-modèles | |
| 505 | 0 | |a 4.2 Satisfabilité et validité: décidabilité4.3 Satisfabilité et validité: complexité; 4.4 Autres tâches de raisonnement; 5 Logiques plus riches; 5.1 Axiomes et propriétés du cadre relationnel; 5.2 définissabilité et indéfinissabilité du cadre; 5.3 Correspondance de trame et logique du second ordre; 5.4 Définissabilité de la trame du premier ordre; 5.5 Correspondance dans des langues plus riches; 5.6 Remarques sur la calculabilité; 6 langues plus riches; 6.1 La modalité universelle; 6.2 Logique hybride; 6.3 Logique temporelle avec les opérateurs Jusqu'à et Depuis; 6.4 Logique conditionnelle; 6.5 Le fragment gardé; 6.6 Logique dynamique propositionnelle; 6.7 Le -calcul modal | |
| 520 | |a Le Manuel de la logique modale contient 20 articles, qui présentent collectivement la logique modale contemporaine, examinent la recherche actuelle et indiquent la manière dont le domaine se développe. Les articles examinent le domaine à partir d'une grande variété de perspectives: la théorie sous-jacente est explorée en profondeur, les approches informatiques modernes sont traitées et six domaines d'application majeurs de la logique modale (en mathématiques, en informatique, en intelligence artificielle, en linguistique, en théorie des jeux et en Philosophie) sont étudiées. Le livre contient à la fois des articles explicatifs bien écrits, adaptés aux débutants approchant le | ||
| 538 | |a Configuration requise: navigateur internet | ||
| 700 | 1 | |a Benthem, Johan van, |d 1949- |4 aut | |
| 700 | 1 | |a Wolter, Frank, |d 1972- |4 aut | |
| 856 | 4 | |5 180339901:67722348X |u https://ezproxy.insa-cvl.fr/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=187318&site=ehost-live |z Accès INSA CVL | |
| 997 | |0 830048 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||