Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Carnielli, Walter Alexandre (1952-....)
Titre(s) : Modalities and multimodalities [Texte électronique] / Walter Carnielli, Claudio Pizzi ; with the assistance and collaboration of Juliana Bueno-Soler
Publication : [Dordrecht] : Springer, cop. 2008
Description matérielle : 1 ressource dématérialisée
Collection : Logic, epistemology, and the unity of science ; v. 12
Note(s) : Includes bibliographical references and indexes
Autre(s) auteur(s) : Pizzi, Claudio (1944-....). Fonction indéterminée
Bueno-Soler, Juliana. Fonction indéterminée
Sujet(s) : Modalité (logique)
Indice(s) Dewey :
160 (23e éd.) = Logique philosophique
Identifiants, prix et caractéristiques : ISBN 9781402085901
Identifiant de la notice : ark:/12148/cb44658672j
Notice n° :
FRBNF44658672
(notice reprise d'un réservoir extérieur)
Table des matières : Modal logic and standard logic. Modal notions and quantifiers ; A non-modal basis
for modal logics ; The semantical analysis of PC ; Constructive completeness of PC
; Decidability of PC ; Post-completeness and other properties of PC ; Exercises ;
Further reading ; The syntax of normal modal systems. The relationship among modal
operators ; Minimal properties of modal systems ; Systems between K and S5 ; Modalities
in S5 ; Exercises ; Further reading ; The semantics of normal and modal systems.
Matrices and Dugundji's theorem ; Carnapian models and relational models ; Correspondence
theory and bisimulations ; The method of relational tableaux ; Exercises ; Further
reading ; Completeness and canonicity. The constructive completeness of K and KT
; Completeness by Henkin's method ; Completeness : models versus frames ; The logic
of arithmetical provability ; Exercises ; Further reading ; Incompleteness and finite
models. An incompleteness result ; Finite model property and filtratio