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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have