Abstract We translate the three-valued quantum logic into modal logic, and prove 3-equivalence between valuation of a kind Kripke model in regard to this translation. To 3-equivalence, we introduce an observable-dependent which is fragment many-valued logic. Compared Birkhoff von Neumann’s some notions about observables, completeness relation for example, mechanics can be utilized if employed.

In this paper, we present an alternative interpretation of propositional inquisitive logic as epistemic knowing how. our setting, formula $\alpha$ being supported by a state is formalized "knowing how to resolve $\alpha$" (more colloquially, true") holds on the S5 model corresponding state. Based interpretation, use dynamic with both know-how and know-that operators capture information behind i...

extract  although there are new ways to portray the brain, colored and computerized encephalography but coma is still unknown and such as death remain beyond comprehension and knowing. is not it ?   perhaps because of this, despite knowing that some part of the brain is not yet fully understood all its parts. but knowing the components that working to each other is key for discovering a lot of ...