Jort Bergfeld

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Logical Inference

Quantum Computation

Top Venues

Publications

Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
Quantum Probabilistic Dyadic Second-Order Logic. WoLLIC (2013)
Jort Bergfeld, Yde Venema
Model Constructions for Moss' Coalgebraic Logic. CALCO (2011)