Wolfgang Rautenberg

According to our database, Wolfgang Rautenberg authored at least 14 papers between 1980 and 2006.

Collaborative distances:

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

2006

Willem Blok and Modal Logic.

Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter

Stud Logica, 2006

1996

Einführung in die mathematische Logik - ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.

Wolfgang Rautenberg

Vieweg, ISBN: 978-3-528-06754-0, 1996

1993

On reduced matrices.

Wolfgang Rautenberg

Stud Logica, 1993

1992

Finite Replacement and Finite Hilbert-Style Axiomatizability.

Burghard Herrmann, Wolfgang Rautenberg

Math. Log. Q., 1992

1991

Axiomatizing logics closely related to varieties.

Wolfgang Rautenberg

Stud Logica, 1991

Common Logic of 2-Valued Semigroup Connectives.

Wolfgang Rautenberg

Math. Log. Q., 1991

1990

Mail box.

Wolfgang Rautenberg

Stud Logica, 1990

Axiomatization of the De Morgan type rules.

Burghard Herrmann, Wolfgang Rautenberg

Stud Logica, 1990

1989

A calculus for the common rules of ∧ and ∨.

Wolfgang Rautenberg

Stud Logica, 1989

Axiomatization of semigroup consequences.

Wolfgang Rautenberg

Arch. Math. Log., 1989

Propositional logic based on the dynamics of disbelief.

David Pearce, Wolfgang Rautenberg

Proceedings of the Logic of Theory Change, 1989

1986

Applications of weak Kripke semantics to intermediate consequences.

Wolfgang Rautenberg

Stud Logica, 1986

1983

Modal tableau calculi and interpolation.

Wolfgang Rautenberg

J. Philos. Log., 1983

1980

Splitting lattices of logics.

Wolfgang Rautenberg

Arch. Math. Log., 1980