Tableaux for Basic Modal Logic
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
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 5 juin 2024-10:26:18
Archivage à long terme le : jeudi 18 février 2016-10:51:01