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.

Download Citation

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

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Romas Alonderis, Haroldas Giedra, A derivation-loop method for temporal logic , Lietuvos matematikos rinkinys: Vol. 60 (2019): 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 , Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus , Lietuvos matematikos rinkinys: Vol. 48 (2008)
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, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Romas Alonderis, More efficient proof-search for sequents of temporal logic , Lietuvos matematikos rinkinys: Vol. 63 (2022): Ser. A
Haroldas Giedra, Cut free sequent calculus for logic S5n(ED) , Lietuvos matematikos rinkinys: Vol. 51 (2010)
Romas Alonderis, Brodsky’s coding method for propositional logic , Lietuvos matematikos rinkinys: Vol. 58 (2017): Ser. A
Romas Alonderis , Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus , Lietuvos matematikos rinkinys: Vol. 50 (2009)

1 2 > >>