Probability logics for reasoning about quantum observations
From MaRDI portal
Publication:6113689
DOI10.1007/s11787-023-00326-yOpenAlexW4366986826MaRDI QIDQ6113689
Angelina Ilić Stepić, Aleksandar Perović, Zoran Ognjanović
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(p\)-adic probability logics
- Conditional \(p\)-adic probability logic
- A dynamic-logical perspective on quantum behavior
- Decidability and expressiveness for first-order logics of probability
- Semantic analysis of orthologic
- Some first-order probability logics
- A logic for reasoning about probabilities
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- The logic of quantum mechanics
- Probability Logics
- A p-adic probability logic
- A first-order conditional probability logic with iterations
- Complex valued probability logics
- How to Restore Compactness into Probabilistic Logics?
- Quantum Computing for Computer Scientists
- Orthomodularity is not elementary
- First steps towards probabilistic justification logic
- Tableau for the logic ILP
- Probabilistic Extensions of Various Logical Systems
- A First-order Logic for Reasoning about Knowledge and Probability
- A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
- Computer Science Logic
- Probabilistic logic of quantum observations
- Towards a Modal Logical Treatment of Quantum Physics
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity