Lietuvos Matematikos Rinkinys (Dec 2018)
Applications of logic of correlated knowledge to quantum mechanics
Abstract
Knowledge of agents associated to particles of quantum system has been modelled in the paper. Also analysis of formulas and satisfiability in the model have been done.
Keywords