Antje Rumberg

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 3

Top Topics

Finite Model Theory

Information Retrieval

Structural Features

Logical Language

Top Venues

J. Log. Lang. Inf.

Rev. Symb. Log.

Publications

Antje Rumberg, Alberto Zanardo
First-Order Definability of Transition Structures. J. Log. Lang. Inf. 28 (3) (2019)
Thomas Müller, Antje Rumberg, Verena Wagner
An introduction to real possibilities, indeterminism, and free will: three contingencies of the debate. Synth. 196 (1) (2019)
Antje Rumberg
Transition Semantics for Branching Time. J. Log. Lang. Inf. 25 (1) (2016)
Antje Rumberg
Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs. Rev. Symb. Log. 6 (3) (2013)