Probability logics for reasoning about quantum observations

DOI10.1007/S11787-023-00326-YMaRDI QIDQ6113689zbMATH OpenOpenAlexFDO

Authors Angelina Ilić-Stepić, Zoran Ognjanović, Aleksandar Perović

Publication date 11 July 2023

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-023-00326-y

zbMATH Keywords

decidabilityprobability amplitudesquantum logicstrong completeness

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Probability and inductive logic (03B48)

Cites work

• \(p\)-adic probability logics
• A p-adic probability logic
• A dynamic-logical perspective on quantum behavior
• A first-order conditional probability logic with iterations
• A First-order Logic for Reasoning about Knowledge and Probability
• A logic for reasoning about probabilities
• A propositional linear time logic with time flow isomorphic to ^2
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Completeness theorem for a first order linear-time logic
• Complex valued probability logics
• Computer Science Logic
• Conditional \(p\)-adic probability logic
• Decidability and expressiveness for first-order logics of probability
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Extending classical logic for reasoning about quantum systems
• First steps towards probabilistic justification logic
• How to Restore Compactness into Probabilistic Logics?
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 5790393 (Why is no real title available?)
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• Orthomodularity is not elementary
• Probabilistic extensions of various logical systems
• Probabilistic logic of quantum observations
• Probability logics. Probability-based formalization of uncertain reasoning
• Quantum Computing for Computer Scientists
• Quantum logic and nonclassical logics
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Semantic analysis of orthologic
• Some first-order probability logics
• Tableau for the logic ILP
• The logic of quantum mechanics
• Towards a Modal Logical Treatment of Quantum Physics

Cited in

(3)

• Joint distributions of observables on spectral logics
• Probabilistic forcing in quantum logics
• Measurement-Theoretic Foundations of Observational-Predicate Logic

This page was built for publication: Probability logics for reasoning about quantum observations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6113689)