A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$ - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$

Résumé

An axiomatic system is presented in this paper, which has a modal operator □ such that $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$, where □1 and □2 are the modal operators of the language for the axiom system S5. The axiomatic system for □ is proved to be sound and complete.
Fichier principal
Vignette du fichier
978-3-662-44980-6_17_Chapter.pdf (190.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01383328 , version 1 (18-10-2016)

Licence

Paternité

Identifiants

Citer

Shaobo Deng, Meiying Sun, Cungen Cao, Yuefei Sui. A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.152-160, ⟨10.1007/978-3-662-44980-6_17⟩. ⟨hal-01383328⟩
29 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More