Tableaux for Basic Modal Logic - HAL-SHS - Sciences de l'Homme et de la Société
Cours Année : 2015

Tableaux for Basic Modal Logic

Shahid Rahman

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
Fichier principal
Vignette du fichier
TableauxModall17nov.pdf (142.86 Ko) Télécharger le fichier

Dates et versions

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

Licence

Identifiants

  • HAL Id : cel-01228873 , version 1

Citer

Shahid Rahman. Tableaux for Basic Modal Logic. Licence. France. 2015. ⟨cel-01228873⟩
231 Consultations
179 Téléchargements

Partager

More