PLQP \& Company: decidable logics for quantum algorithms (Q472733): Difference between revisions

@@ Property / author @@
-Q472731
@@ Property / author: Q472731 / rank @@
-Normal rank
@@ Property / author @@
+Jort Martinus Bergfeld
@@ Property / author: Jort Martinus Bergfeld / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P68
@@ Property / Mathematics Subject Classification ID: 81P68 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 81P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G12
@@ Property / Mathematics Subject Classification ID: 03G12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+U35
@@ Property / Mathematics Subject Classification ID: 68U35 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6371354
@@ Property / zbMATH DE Number: 6371354 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum computation
@@ Property / zbMATH Keywords: quantum computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability
@@ Property / zbMATH Keywords: decidability / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-013-1987-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2069477494
@@ Property / OpenAlex ID: W2069477494 / rank @@
+Normal rank
@@ Property / cites work @@
+LQP: the dynamic logic of quantum information
@@ Property / cites work: LQP: the dynamic logic of quantum information / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated knowledge: an epistemic-logic view on quantum entanglement
+Normal rank
@@ Property / cites work @@
+Quantum logic as a dynamic logic
@@ Property / cites work: Quantum logic as a dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Correlated Information: A Logic for Multi-Partite Quantum Systems
+Normal rank
@@ Property / cites work @@
+The dynamic turn in quantum logic
@@ Property / cites work: The dynamic turn in quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Reasoning in quantum theory. Sharp and unsharp quantum logics.
+Normal rank
@@ Property / cites work @@
+Quantum logic as motivated by quantum computing
@@ Property / cites work: Quantum logic as motivated by quantum computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5756997
@@ Property / cites work: Q5756997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522570
@@ Property / cites work: Q3522570 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:472733