What can Logic learn from Quantum Mechanics (original) (raw)

A Dynamic-Logical Perspective on Quantum Behavior

Sonja Smets

2008

View PDFchevron_right

Logic and Quantum Physics

Sonja Smets

2010

View PDFchevron_right

Quantum Logic as a Dynamic Logic

Sonja Smets

2011

View PDFchevron_right

Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic

Sonja Smets

Applied Sciences

View PDFchevron_right

The Labyrinth of Quantum Logic

Tim Maudlin

arXiv: History and Philosophy of Physics, 2018

View PDFchevron_right

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

Lawrence Moss

Journal of Philosophical Logic

View PDFchevron_right

Reasoning about Quantum Actions: A Logician's Perspective

Sonja Smets

2013

View PDFchevron_right

The dynamic turn in quantum logic

Sonja Smets

Synthese, 2012

View PDFchevron_right

On the Common Logical Structure of Classical and Quantum Mechanics

Andrea Oldofredi

Erkenntnis, 2022

View PDFchevron_right

Primacy of Quantum Logic in the Natural World

Cynthia Larson

View PDFchevron_right

A proposal for a new approach to Quantum Logic

antonino drago

View PDFchevron_right

Quantum Computation and Logic

Giuseppe Sergioli

Trends in logic, 2018

View PDFchevron_right

Logics from Quantum Computation

Roberto Giuntini

International Journal of Quantum Information, 2005

View PDFchevron_right

Probabilities and Epistemic Operations in the Logics of Quantum Computation

Giuseppe Sergioli

Entropy

View PDFchevron_right

The logic of quantum mechanics-Take II

Bob Coecke

2012

View PDFchevron_right

Machines, Logic and Quantum Physics

David Deutsch

Bulletin of Symbolic Logic, 2000

View PDFchevron_right

Quantum logic as motivated by quantum computing

Lawrence Moss

The Journal of Symbolic Logic, 2005

View PDFchevron_right

Quantum Measurement, Probability, and Logic

Gregg Jaeger

The Frontiers Collection, 2009

View PDFchevron_right

Recovering Quantum Logic Within an Extended Classical Framework

Claudio Garola

Erkenntnis, 2013

View PDFchevron_right

The Problem of Truth in Quantum Mechanics

Adrian Heathcote

Global Philosophy (Axiomathes), 2023

View PDFchevron_right

LQP: the dynamic logic of quantum information

Sonja Smets

Mathematical Structures in Computer Science, 2006

View PDFchevron_right

Quantum logic, quantum histories and quantum Turing machines

Roberto Giuntini

View PDFchevron_right

Evidence-based Interpretations of EPR and Schrödinger's Cat: An Algorithmically Verifiable Logic of Quantum Phenomena vis à vis The Algorithmically Computable Logic of Classical Phenomena

Bhupinder Singh Anand

View PDFchevron_right

Quantum Logic

Roberto Giuntini

TRIGG:MATHEMATICAL TOOLS O-BK, 2005

View PDFchevron_right

DOES QUANTUM MECHANICS REQUIRE NEW FORMS OF THOUGHT? Towards a formal epistemology

Michel Bitbol

View PDFchevron_right

Quantum Mechanics: Ontology and Information

Gennaro Auletta

View PDFchevron_right