Tableaux for Basic Modal Logic - CEL - Cours en ligne Accéder directement au contenu
Cours Année : 2015

Tableaux for Basic Modal Logic

Shahid Rahman
Savoirs, Textes, Langage (STL) - UMR 8163
CV

Résumé

It is a brief presentation of Tableaux in the style of Fitting and Smullyan for propositional (normal) modal logic It is part of the L3 cours in Logic

Mots clés

Logic modality proof-system

Domaines

Philosophie Sciences de l'Homme et Société Histoire, Philosophie et Sociologie des sciences
Fichier principal
Vignette du fichier
TableauxModall17nov.pdf (142.86 Ko) Télécharger le fichier

Shahid Rahman  : Connectez-vous pour contacter le contributeur

https://shs.hal.science/cel-01228873

Soumis le : mardi 17 novembre 2015-17:21:26

Dernière modification le : mercredi 24 janvier 2024-09:54:19

Archivage à long terme le : jeudi 18 février 2016-10:51:01

Télécharger pour visualiser

Dates et versions

cel-01228873 , version 1 (17-11-2015)

Licence

Paternité

Identifiants

  • HAL Id : cel-01228873 , version 1

Citer

Shahid Rahman. Tableaux for Basic Modal Logic. Licence. France. 2015. ⟨cel-01228873⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS STL HIPHISCITECH OMNIPHILO CAMPUS-AAR AAI UNIV-LILLE
216 Consultations
161 Téléchargements

Partager

Gmail Facebook X LinkedIn More