-
1
Games for hybrid logic from semantic games to analytic calculi
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
2
-
3
-
4
From Semantic Games to Provability: The Case of Gödel Logic
Veröffentlicht in Studia logica
VolltextArtikel -
5
-
6
Games for Hybrid Logic -- From Semantic Games to Analytic Calculi
Veröffentlicht in arXiv.org
VolltextArtikel -
7
-
8
-
9
-
10
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
Regulating the Regulators: Lysine Modifications Make Their Mark
Veröffentlicht in Cell
VolltextArtikel -
17
Maintenance of spermatogenesis requires TAF4b, a gonad-specific subunit of TFIID
Veröffentlicht in Genes & development
VolltextArtikel -
18
-
19
-
20