Tableaux for Basic Modal Logic

Shahid Rahman

Cours Année : 2015

Tableaux for Basic Modal Logic

(1)

Shahid Rahman

Fonction : Auteur
PersonId : 5613
IdHAL : shahid-rahman
IdRef : 059922435

Savoirs, Textes, Langage (STL) - UMR 8163

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

Liste complète des métadonnées

Format du dépôt	Fichier
Type de dépôt	Cours
Titre	en Tableaux for Basic Modal Logic
Résumé	en 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
Auteur(s)	Shahid Rahman ¹ 1 STL - Savoirs, Textes, Langage (STL) - UMR 8163 ( 11909 ) - Domaine Universitaire du Pont de Bois - Batiment B4 rue du Barreau - BP 60149 - 59653 VILLENEUVE D'ASCQ CEDEX - France Université de Lille ( 374570 ) ; Centre National de la Recherche Scientifique UMR8163 ( 441569 )
Licence	Paternité
Langue du document	Anglais
Date du cours	2015-11-16
Pays	France
Niveau du cours	Licence
Domaine(s)	Sciences de l'Homme et Société/Philosophie Sciences de l'Homme et Société Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Collaboration/Projet	ADA-MESHS-STL
Mots-clés	en Logic, modality, proof-system

Fichier principal

TableauxModall17nov.pdf ( 142.85 Ko )

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

Dates et versions

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

Licence

Paternité - CC BY 4.0

Identifiants

HAL Id : cel-01228873 , version 1

Citer

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

Exporter

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS STL HIPHISCITECH OMNIPHILO CAMPUS-AAR AAI UNIV-LILLE

216 Consultations

161 Téléchargements

Dernière date de mise à jour le 07/04/2024

Tableaux for Basic Modal Logic

Résumé

Mots clés

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Partager