Wolfgang Rautenberg

Publication Activity (10 Years)

Years Active: 1980-2006
Publications (10 Years): 0

Publications

Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter
Willem Blok and Modal Logic. Stud Logica 83 (1-3) (2006)
Wolfgang Rautenberg
On reduced matrices. Stud Logica 52 (1) (1993)
Burghard Herrmann, Wolfgang Rautenberg
Finite Replacement and Finite Hilbert-Style Axiomatizability. Math. Log. Q. 38 (1) (1992)
Wolfgang Rautenberg
Common Logic of 2-Valued Semigroup Connectives. Math. Log. Q. 37 (9-12) (1991)
Wolfgang Rautenberg
Axiomatizing logics closely related to varieties. Stud Logica 50 (3-4) (1991)
Wolfgang Rautenberg
Mail box. Stud Logica 49 (4) (1990)
Burghard Herrmann, Wolfgang Rautenberg
Axiomatization of the De Morgan type rules. Stud Logica 49 (3) (1990)
David Pearce, Wolfgang Rautenberg
Propositional logic based on the dynamics of disbelief. The Logic of Theory Change (1989)
Wolfgang Rautenberg
A calculus for the common rules of ∧ and ∨. Stud Logica 48 (4) (1989)
Wolfgang Rautenberg
Axiomatization of semigroup consequences. Arch. Math. Log. 29 (2) (1989)
Wolfgang Rautenberg
Applications of weak Kripke semantics to intermediate consequences. Stud Logica 45 (1) (1986)
Wolfgang Rautenberg
Modal tableau calculi and interpolation. J. Philos. Log. 12 (4) (1983)
Wolfgang Rautenberg
Splitting lattices of logics. Arch. Math. Log. 20 (3-4) (1980)