Model Constructions for Moss' Coalgebraic Logic. - Jort Bergfeld; Yde Venema (CALCO, 2011)

Quantum Probabilistic Dyadic Second-Order Logic. - Alexandru Baltag; Jort Bergfeld; Kohei Kishida; Joshua Sack; Sonja Smets; Shengyang Zhong (WoLLIC, 2013)

Duality for the Logic of Quantum Actions. - Jort M. Bergfeld; Kohei Kishida; Joshua Sack; Shengyang Zhong (Stud Logica, 2015)

Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs. - Jort Martinus Bergfeld; Joshua Sack (Soft Comput., 2017)