Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic

Abstract : The propositional modal logic is obtained by adding the necessity operator □ to the propositional logic. Each formula in the propositional logic is equivalent to a formula in the disjunctive normal form. In order to obtain the correspondence between the propositional modal logic and the propositional logic, we add the axiom $\Box\varphi \leftrightarrow\Diamond\varphi $ to K and get a new system K + . Each formula in such a logic is equivalent to a formula in the disjunctive normal form, where □k(k ≥ 0) only occurs before an atomic formula p, and $\lnot$ only occurs before a pseudo-atomic formula of form □k p. Maximally consistent sets of K +  have a property holding in the propositional logic: a set of pseudo-atom-complete formulas uniquely determines a maximally consistent set. When a pseudo-atomic formula □k pi (k,i ≥ 0) is corresponding to a propositional variable qki, each formula in K +  then can be corresponding to a formula in the propositional logic P + . We can also get the correspondence of models between K +  and P + . Then we get correspondences of theorems and valid formulas between them. So, the soundness theorem and the completeness theorem of K +  follow directly from those of P + .
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-01383327
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, October 18, 2016 - 2:54:44 PM
Last modification on : Thursday, March 5, 2020 - 5:41:04 PM

File

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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Meiying Sun, Shaobo Deng, yuefei Sui. The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic. 8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.141-151, ⟨10.1007/978-3-662-44980-6_16⟩. ⟨hal-01383327⟩

Share

Metrics

Record views

171

Files downloads

269