Applications of logic of correlated knowledge to quantum mechanics

Haroldas Giedra; Romas Alonderis

doi:10.15388/LMR.A.2018.01

Articles

Haroldas Giedra

Vilnius University

Romas Alonderis

Vilnius University

Published 2018-12-20

https://doi.org/10.15388/LMR.A.2018.01

PDF

Keywords

logic of correlated knowledge
quantum system
agent

How to Cite

Giedra H. and Alonderis R. (2018) “Applications of logic of correlated knowledge to quantum mechanics”, Lietuvos matematikos rinkinys, 59(A), pp. 1-6. doi: 10.15388/LMR.A.2018.01.

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.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Please read the Copyright Notice in Journal Policy.

Downloads

Article Views | PDF Downloads

Range Graph | Chart Graph

Most read articles by the same author(s)

Romas Alonderis, A labeled sequent calculus for propositional linear time logic , Lietuvos matematikos rinkinys: Vol 53 (2012): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Sequent systems for PLTL , Lietuvos matematikos rinkinys: Vol 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol 56 (2015): Ser. A
Romas Alonderis, Haroldas Giedra, A derivation-loop method for temporal logic , Lietuvos matematikos rinkinys: Vol 60 (2019): Ser. A
Romas Alonderis, Brodsky’s coding method for propositional logic , Lietuvos matematikos rinkinys: Vol 58 (2017): Ser. A
Romas Alonderis, A sequent calculus for propositional temporal logic with time gaps , Lietuvos matematikos rinkinys: Vol 52 (2011)
Romas Alonderis, Regimantas Pliuškevičius, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol 52 (2011)
Haroldas Giedra, Jūratė Sakalauskaitė, Sequent calculus for logic of correlated knowledge , Lietuvos matematikos rinkinys: Vol 52 (2011)