A Finite Model Property for Gödel Modal Logics

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.

Kurt Seilers "Verirrung"

Franziska Mann

Vortrag Kurt Blumenfeld

S.

Kurt Sternberg, Heinrich Heines geistige Gestalt und Welt [Rezension]

Ernst Simon

Zielenziger, Kurt: Juden in der deutschen Wirtschaft. Mit 8 Bildn. Berlin: Welt-Verlag 1930 [Rezension]

F.