Results 241 to 250 of about 1,708,303 (255)

The dynamic turn in quantum logic [PDF]

SynthÈse, 2011
In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while ...
Sonja Smets, Alexandru Baltag
exaly   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

Information and Computation, 2023
Sanjiang Li
exaly  

Integrated optical multi-ion quantum logic

Nature, 2020
Karan Mehta, Jonathan Home, Martin Stadler   +2 more
exaly  

Finite automata based on quantum logic and monadic second-order quantum logic

Science China Information Sciences, 2010
Yongming Li
exaly  

A theory of computation based on quantum logic (I)

Theoretical Computer Science, 2005
Mingsheng Ying
exaly  

Orthologic and quantum logic

Journal of the ACM, 2000
S A Selesnick
exaly  

Multiplexed Analysis of Hg2+ and Ag+ Ions by Nucleic Acid Functionalized CdSe/ZnS Quantum Dots and Their Use for Logic Gate Operations

Angewandte Chemie - International Edition, 2009
Itamar Willner
exaly  

On incorrectness logic for Quantum programs

2022
Hanru Jiang, Nengkun Yu, Peng Yan
exaly  

Proof Theory of Paraconsistent Quantum Logic

Journal of Philosophical Logic, 2017
Norihiro Kamide
exaly  

Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic

Studia Logica, 2010
Jarosław Pykacz
exaly