Jort Bergfeld

According to our database, Jort Bergfeld authored at least 4 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.

Jort Martinus Bergfeld, Joshua Sack

Soft Comput., 2017

2015

Duality for the Logic of Quantum Actions.

Jort M. Bergfeld, Kohei Kishida, Joshua Sack, Shengyang Zhong

Stud Logica, 2015

2013

Quantum Probabilistic Dyadic Second-Order Logic.

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong

Proceedings of the Logic, Language, Information, and Computation, 2013

2011

Model Constructions for Moss' Coalgebraic Logic.

Jort Bergfeld, Yde Venema

Proceedings of the Algebra and Coalgebra in Computer Science, 2011