Wolfgang Rautenberg

14 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2006 J jnl
Willem Blok and Modal Logic.
Stud Logica
Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter
1996 — book
Einführung in die mathematische Logik - ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.
Wolfgang Rautenberg
1993 J jnl
On reduced matrices.
Stud Logica
Wolfgang Rautenberg
1992 J jnl
Finite Replacement and Finite Hilbert-Style Axiomatizability.
Math. Log. Q.
Burghard Herrmann, Wolfgang Rautenberg
1991 J jnl
Axiomatizing logics closely related to varieties.
Stud Logica
Wolfgang Rautenberg
1991 J jnl
Common Logic of 2-Valued Semigroup Connectives.
Math. Log. Q.
Wolfgang Rautenberg
1990 J jnl
Axiomatization of the De Morgan type rules.
Stud Logica
Burghard Herrmann, Wolfgang Rautenberg
1990 J jnl
Mail box.
Stud Logica
Wolfgang Rautenberg
1989 J jnl
A calculus for the common rules of ∧ and ∨.
Stud Logica
Wolfgang Rautenberg
1989 J jnl
Axiomatization of semigroup consequences.
Arch. Math. Log.
Wolfgang Rautenberg
1989 — conf
Propositional logic based on the dynamics of disbelief.
The Logic of Theory Change
David Pearce, Wolfgang Rautenberg
1986 J jnl
Applications of weak Kripke semantics to intermediate consequences.
Stud Logica
Wolfgang Rautenberg
1983 J jnl
Modal tableau calculi and interpolation.
J. Philos. Log.
Wolfgang Rautenberg
1980 J jnl
Splitting lattices of logics.
Arch. Math. Log.
Wolfgang Rautenberg