Bernhard König

According to our database, Bernhard König authored at least 10 papers between 2003 and 2026.

Collaborative distances:

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

2026

More on setwise climbability properties.

Bernhard König, Yasuo Yoshinobu

Ann. Pure Appl. Log., 2026

2012

Kurepa trees and Namba forcing.

Bernhard König, Yasuo Yoshinobu

J. Symb. Log., 2012

2011

Winning strategies in club games and their applications.

Bernhard König

Math. Log. Q., 2011

2007

Forcing indestructibility of set-theoretic axioms.

Bernhard König

J. Symb. Log., 2007

2006

Dense subtrees in complete Boolean algebras.

Bernhard König

Math. Log. Q., 2006

2004

Fragments of Martin's Maximum in generic extensions.

Bernhard König, Yasuo Yoshinobu

Math. Log. Q., 2004

Generic compactness reformulated.

Bernhard König

Arch. Math. Log., 2004

2003

Verifying a Behavioural Logic for Graph Transformation Systems.

Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Local coherence.

Bernhard König

Ann. Pure Appl. Log., 2003

A Logic for Analyzing Abstractions of Graph Transformation Systems.

Paolo Baldan, Barbara König, Bernhard König

Proceedings of the Static Analysis, 10th International Symposium, 2003