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

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

Shaobo Deng, Meiying Sun + Show 2 more

Open Access

https://doi.org/10.1007/978-3-662-44980-6_17

Copy DOI

Publication Date: Jan 1, 2014

Affiliation: Institute of Computing Technology, University of Chinese Academy of Sciences

#Modal Operator #Axiomatic System + Show 4 more

Abstract
Full-Text PDF
Similar Papers

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.

Full Text