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

Shaobo Deng; Meiying Sun; Cungen Cao; Yuefei Sui

doi:10.1007/978-3-662-44980-6_17

Conference Papers Year : 2014

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

(1, 2) , (1, 2) , (1) , (1)

1
2

Shaobo Deng

Function : Author
PersonId : 990785

Institute of Computing Technology [Beijing]

University of Chinese Academy of Sciences [Beijing]

Meiying Sun

Function : Author

Institute of Computing Technology [Beijing]

University of Chinese Academy of Sciences [Beijing]

Cungen Cao

Function : Author

Institute of Computing Technology [Beijing]

Yuefei Sui

Function : Author

Institute of Computing Technology [Beijing]

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.

Keywords

Domains

Computer Science [cs]

Fichier principal

978-3-662-44980-6_17_Chapter.pdf (190)

Origin	Files produced by the author(s)

Hal Ifip : Connect in order to contact the contributor

https://inria.hal.science/hal-01383328

Submitted on : Tuesday, October 18, 2016-2:54:54 PM

Last modification on : Tuesday, November 12, 2024-11:34:03 AM

Dates and versions

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

Licence

Attribution

Identifiers

HAL Id : hal-01383328 , version 1
DOI : 10.1007/978-3-662-44980-6_17

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP IFIP-AICT IFIP-TC IFIP-AICT-432 IFIP-TC12

49 View

116 Download