Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01383328
Contributor : Hal Ifip <>
Submitted on : Tuesday, October 18, 2016 - 2:54:54 PM
Last modification on : Thursday, March 5, 2020 - 5:41:04 PM

File

978-3-662-44980-6_17_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

100

Files downloads

296