×

Rautenberg, Wolfgang

Author ID: rautenberg.wolfgang Recent zbMATH articles by "Rautenberg, Wolfgang"
Published as: Rautenberg, Wolfgang; Rautenberg, W.
External Links: MGP · Wikidata · dblp · GND · IdRef

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 281 times in 220 Documents Cited by Year
Klassische und nichtklassische Aussagenlogik. Zbl 0424.03007
Rautenberg, Wolfgang
72
1979
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
32
1983
2-element matrices. Zbl 0493.03006
Rautenberg, Wolfgang
27
1981
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
26
1980
Der Verband der normalen verzweigten Modallogiken. Zbl 0414.03011
Rautenberg, W.
16
1977
A concise introduction to mathematical logic. 3rd revised and enlarged ed. Zbl 1185.03002
Rautenberg, Wolfgang
10
2010
On reduced matrices. Zbl 0771.03003
Rautenberg, Wolfgang
6
1993
A calculus for the common rules of \(\wedge\) and \(\vee\). Zbl 0707.03006
Rautenberg, Wolfgang
6
1989
Consequence relations of 2-element algebras. Zbl 0623.03034
Rautenberg, Wolfgang
5
1985
Axiomatization of semigroup consequences. Zbl 0688.03017
Rautenberg, Wolfgang
5
1989
Interpretierbarkeit in der Gruppentheorie. Zbl 0215.04801
Hauschild, Kurt; Rautenberg, Wolfgang
4
1971
The elementary Archimedean schema in geometry and some of its applications. Zbl 0169.30504
Rautenberg, W.
4
1968
Orthogonalitätsrelationen in der affinen Geometrie. Zbl 0181.23302
Rautenberg, W.; Quaisser, E.
4
1969
A concise introduction to mathematical logic. 2nd ed. Zbl 1093.03001
Rautenberg, Wolfgang
4
2006
Willem Blok and modal logic. Zbl 1105.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
4
2006
Model-interpretability into trees and applications. Zbl 0324.02041
Korec, Ivan; Rautenberg, Wolfgang
3
1976
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. I. (Interpretability and decidability in graph theory. I). Zbl 0231.02058
Rautenberg, Wolfgang; Hauschild, Kurt
3
1971
Über metatheoretische Eigenschaften einiger geometrischer Theorien. Zbl 0112.24701
Rautenberg, W.
3
1962
Euklidische und Minkowskische Orthogonalitätsrelationen. Zbl 0176.17304
Rautenberg, W.
3
1969
Elementare Schemata nichtelementarer Axiome. Zbl 0207.29604
Rautenberg, W.
3
1967
More about the lattice of tense logics. Zbl 0411.03015
Rautenberg, Wolfgang
3
1979
Common logic of 2-valued semigroup connectives. Zbl 0741.03003
Rautenberg, Wolfgang
2
1991
Strongly finitely based equational theories. Zbl 0742.08004
Rautenberg, W.
2
1991
Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005
Herrmann, B.; Rautenberg, W.
2
1992
Applications of weak Kripke semantics to intermediate consequences. Zbl 0635.03020
Rautenberg, Wolfgang
2
1986
Propositional logic based on the dynamics of disbelief. Zbl 0925.03109
Pearce, David; Rautenberg, Wolfgang
2
1991
Axiomatization of the De Morgan type rules. Zbl 0721.03006
Herrmann, B.; Rautenberg, W.
2
1990
Introduction to mathematical logic. A textbook considering logic programming. (Einführung in die mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.) Zbl 0866.03001
Rautenberg, Wolfgang
2
1996
Definability in structures of finite valency. Zbl 0276.02036
Korec, I.; Peretyat’kin, M. G.; Rautenberg, W.
2
1974
Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Zbl 0135.24901
Rautenberg, W.
2
1965
The lattice of normal modal logics (Preliminary report). Zbl 0404.03055
Rautenberg, Wolfgang
2
1977
Incompleteness, undecidability, undefinability. (Unvollständigkeit, Unentscheidbarkeit, Nichtdefinierbarkeit.) Zbl 0747.03001
Rautenberg, Wolfgang
1
1991
Axiomatizing logics closely related to varieties. Zbl 0749.03020
Rautenberg, W.
1
1991
Elementary foundations of analysis. (Elementare Grundlagen der Analysis.) Zbl 0824.00001
Rautenberg, Wolfgang
1
1993
Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\). Zbl 0632.26002
Rautenberg, Wolfgang
1
1986
The common rules of binary connectives are finitely based. Zbl 0673.03022
Rautenberg, Wolfgang
1
1989
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Universelle Interpretierbarkeit in Verbänden. Zbl 0275.02043
Hauschild, Kurt; Rautenberg, Wolfgang
1
1970
A note on implicational intermediate consequences. Zbl 0584.03017
Rautenberg, W.
1
1985
Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Zbl 0132.14301
Rautenberg, W.
1
1965
Ein Verfahren zur Axiomatisierung der Kontradiktionen gewisser zweiwertiger Aussagenkalküle. Zbl 0095.00701
Asser, Günter; Rautenberg, W.
1
1960
Bemerkung zur Axiomatik der Vektorgeometrie. Zbl 0117.37503
Rautenberg, W.
1
1963
Measuring and counting. A simple construction of real numbers. (Messen und Zählen. Eine einfache Konstruktion der reellen Zahlen.) Zbl 1229.00001
Rautenberg, Wolfgang
1
2007
Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. Zbl 0166.26304
Rautenberg, W.
1
1961
Konstruktionen in der hyperbolischen Geometrie. Zbl 0173.48202
Rautenberg, W.
1
1963
Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen. Zbl 0203.23001
Rautenberg, W.
1
1970
Introduction to mathematical logic. A textbook. 3rd revised ed. (Einführung in die mathematische Logik. Ein Lehrbuch.) Zbl 1152.03002
Rautenberg, Wolfgang
1
2008
A concise introduction to mathematical logic. 3rd revised and enlarged ed. Zbl 1185.03002
Rautenberg, Wolfgang
10
2010
Introduction to mathematical logic. A textbook. 3rd revised ed. (Einführung in die mathematische Logik. Ein Lehrbuch.) Zbl 1152.03002
Rautenberg, Wolfgang
1
2008
Measuring and counting. A simple construction of real numbers. (Messen und Zählen. Eine einfache Konstruktion der reellen Zahlen.) Zbl 1229.00001
Rautenberg, Wolfgang
1
2007
A concise introduction to mathematical logic. 2nd ed. Zbl 1093.03001
Rautenberg, Wolfgang
4
2006
Willem Blok and modal logic. Zbl 1105.03020
Rautenberg, W.; Zakharyaschev, M.; Wolter, F.
4
2006
Introduction to mathematical logic. A textbook considering logic programming. (Einführung in die mathematische Logik. Ein Lehrbuch mit Berücksichtigung der Logikprogrammierung.) Zbl 0866.03001
Rautenberg, Wolfgang
2
1996
On reduced matrices. Zbl 0771.03003
Rautenberg, Wolfgang
6
1993
Elementary foundations of analysis. (Elementare Grundlagen der Analysis.) Zbl 0824.00001
Rautenberg, Wolfgang
1
1993
Finite replacement and finite Hilbert-style axiomatizability. Zbl 0813.03005
Herrmann, B.; Rautenberg, W.
2
1992
Common logic of 2-valued semigroup connectives. Zbl 0741.03003
Rautenberg, Wolfgang
2
1991
Strongly finitely based equational theories. Zbl 0742.08004
Rautenberg, W.
2
1991
Propositional logic based on the dynamics of disbelief. Zbl 0925.03109
Pearce, David; Rautenberg, Wolfgang
2
1991
Incompleteness, undecidability, undefinability. (Unvollständigkeit, Unentscheidbarkeit, Nichtdefinierbarkeit.) Zbl 0747.03001
Rautenberg, Wolfgang
1
1991
Axiomatizing logics closely related to varieties. Zbl 0749.03020
Rautenberg, W.
1
1991
Axiomatization of the De Morgan type rules. Zbl 0721.03006
Herrmann, B.; Rautenberg, W.
2
1990
A calculus for the common rules of \(\wedge\) and \(\vee\). Zbl 0707.03006
Rautenberg, Wolfgang
6
1989
Axiomatization of semigroup consequences. Zbl 0688.03017
Rautenberg, Wolfgang
5
1989
The common rules of binary connectives are finitely based. Zbl 0673.03022
Rautenberg, Wolfgang
1
1989
Applications of weak Kripke semantics to intermediate consequences. Zbl 0635.03020
Rautenberg, Wolfgang
2
1986
Zur Approximation von e durch \((1+1/n)^ n\). (On the approximation of e by \((1+1/n)^ n)\). Zbl 0632.26002
Rautenberg, Wolfgang
1
1986
Consequence relations of 2-element algebras. Zbl 0623.03034
Rautenberg, Wolfgang
5
1985
A note on implicational intermediate consequences. Zbl 0584.03017
Rautenberg, W.
1
1985
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
32
1983
2-element matrices. Zbl 0493.03006
Rautenberg, Wolfgang
27
1981
Splitting lattices of logics. Zbl 0453.03017
Rautenberg, Wolfgang
26
1980
Klassische und nichtklassische Aussagenlogik. Zbl 0424.03007
Rautenberg, Wolfgang
72
1979
More about the lattice of tense logics. Zbl 0411.03015
Rautenberg, Wolfgang
3
1979
Der Verband der normalen verzweigten Modallogiken. Zbl 0414.03011
Rautenberg, W.
16
1977
The lattice of normal modal logics (Preliminary report). Zbl 0404.03055
Rautenberg, Wolfgang
2
1977
Model-interpretability into trees and applications. Zbl 0324.02041
Korec, Ivan; Rautenberg, Wolfgang
3
1976
Definability in structures of finite valency. Zbl 0276.02036
Korec, I.; Peretyat’kin, M. G.; Rautenberg, W.
2
1974
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. II. Zbl 0284.02023
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Entscheidbarkeit der monadischen Theorie 2. Stufe der n-separierten Graphen. Zbl 0264.02046
Hauschild, Kurt; Herre, Heinrich; Rautenberg, Wolfgang
1
1972
Interpretierbarkeit in der Gruppentheorie. Zbl 0215.04801
Hauschild, Kurt; Rautenberg, Wolfgang
4
1971
Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie. I. (Interpretability and decidability in graph theory. I). Zbl 0231.02058
Rautenberg, Wolfgang; Hauschild, Kurt
3
1971
Universelle Interpretierbarkeit in Verbänden. Zbl 0275.02043
Hauschild, Kurt; Rautenberg, Wolfgang
1
1970
Axiomatische Theorie der Translationsgruppen affiner Räume und Translationsebenen. Zbl 0203.23001
Rautenberg, W.
1
1970
Orthogonalitätsrelationen in der affinen Geometrie. Zbl 0181.23302
Rautenberg, W.; Quaisser, E.
4
1969
Euklidische und Minkowskische Orthogonalitätsrelationen. Zbl 0176.17304
Rautenberg, W.
3
1969
The elementary Archimedean schema in geometry and some of its applications. Zbl 0169.30504
Rautenberg, W.
4
1968
Elementare Schemata nichtelementarer Axiome. Zbl 0207.29604
Rautenberg, W.
3
1967
Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Zbl 0135.24901
Rautenberg, W.
2
1965
Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Zbl 0132.14301
Rautenberg, W.
1
1965
Bemerkung zur Axiomatik der Vektorgeometrie. Zbl 0117.37503
Rautenberg, W.
1
1963
Konstruktionen in der hyperbolischen Geometrie. Zbl 0173.48202
Rautenberg, W.
1
1963
Über metatheoretische Eigenschaften einiger geometrischer Theorien. Zbl 0112.24701
Rautenberg, W.
3
1962
Unentscheidbarkeit der Euklidischen Inzidenzgeometrie. Zbl 0166.26304
Rautenberg, W.
1
1961
Ein Verfahren zur Axiomatisierung der Kontradiktionen gewisser zweiwertiger Aussagenkalküle. Zbl 0095.00701
Asser, Günter; Rautenberg, W.
1
1960
all top 5

Cited by 166 Authors

23 Kamide, Norihiro
16 Maksimova, Larisa L’vovna
15 Rautenberg, Wolfgang
8 Kracht, Marcus
7 Bezhanishvili, Nick
7 Humberstone, Lloyd
6 Bezhanishvili, Guram
6 Pambuccian, Victor V.
6 Wolter, Frank
6 Yun, Veta Fëdorovna
5 Kurahashi, Taishi
5 Moraschini, Tommaso
5 Nguyen, Linh Anh
4 Blok, Willem Johannes
4 Dzik, Wojciech
4 Jansana, Ramon
4 Marcelino, Sérgio
4 Wansing, Heinrich Theodor
3 Caleiro, Carlos
3 Citkin, Alex
3 Goré, Rajeev Prabhakar
3 Karpenko, Anastasia Valer’evna
3 Odintsov, Sergei P.
3 Pałasińska, Katarzyna
3 Szałas, Andrzej
3 Wojtylak, Piotr
3 Zakharyaschev, Michael Viktorovich
2 Blackburn, Patrick
2 Chen, Qian
2 Czelakowski, Janusz
2 Düntsch, Ivo
2 Font, Josep Maria
2 Herre, Heinrich
2 Humberstone, I. L.
2 Korec, Ivan
2 Kost, Sławomir
2 Ma, Minghui
2 Marcos, João
2 Marx, Maarten
2 Muravitsky, Alexei Yu.
2 Orłowska, Ewa
2 Pattinson, Dirk
2 Piazza, Mario
2 Pigozzi, Don Leonard
2 Pulcini, Gabriele
2 Rybakov, Vladimir Vladimirovich
2 Schacht, Celia
2 Schröder, Lutz
2 Schurz, Gerhard
2 Seese, Detlef G.
2 Shramko, Yaroslav V.
2 Stronkowski, Michał Marek
1 Akama, Seiki
1 Albuquerque, Hugo
1 Amerbauer, Martin
1 Artale, Alessandro
1 Avigad, Jeremy
1 Avron, Arnon
1 Baek, Seulkee
1 Baker, Kirby A.
1 Baudisch, Andreas
1 Baumann, Ringo
1 Beklemishev, Lev D.
1 Bellissima, Fabio
1 Bentkamp, Alexander
1 Béziau, Jean-Yves
1 Blatter, Christian
1 Botoeva, Elena
1 Bukor, József
1 Burghardt, F. J.
1 Carl, Merlin
1 Carter, Nathan C.
1 Celani, Sergio Arturo
1 Chagrov, Aleksandr Vasil’evich
1 Cintula, Petr
1 Compton, Kevin J.
1 D’Agostino, Giovanna
1 Demri, Stéphane P.
1 Du, Shan
1 Dunin-Kȩplicz, Barbara
1 Dziobiak, Wiesław
1 Erickson, Jeff
1 Flores, Ramón J.
1 Furmanowski, Tomasz
1 Gabelaia, David
1 Gehrke, Mai
1 González, Luciano Javier
1 Goranko, Valentin F.
1 Grabmayr, Balthasar
1 Greati, Vitor
1 Guzmán, Fernando
1 Hauschild, Kurt
1 Henson, C. Ward
1 Heule, Marijn J. H.
1 Hliněný, Petr
1 Holliday, Wesley H.
1 Hustadt, Ullrich
1 Iemhoff, Rosalie
1 Ilin, Julia
1 Jakl, Tomáš
...and 66 more Authors
all top 5

Cited in 53 Serials

40 Studia Logica
18 Journal of Philosophical Logic
14 The Journal of Symbolic Logic
10 Annals of Pure and Applied Logic
10 The Review of Symbolic Logic
7 Siberian Mathematical Journal
6 Algebra Universalis
5 Algebra and Logic
5 Archive for Mathematical Logic
5 Journal of Applied Non-Classical Logics
5 Mathematical Logic Quarterly (MLQ)
4 Journal of Logic, Language and Information
4 Logica Universalis
3 Artificial Intelligence
3 Archiv für Mathematische Logik und Grundlagenforschung
3 Notre Dame Journal of Formal Logic
3 Theoretical Computer Science
3 Journal of Applied Logic
2 International Journal of Theoretical Physics
2 Israel Journal of Mathematics
2 Mathematical Notes
2 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
2 Journal of Algebra
2 Journal of Geometry
2 Mathematische Nachrichten
2 Synthese
2 History and Philosophy of Logic
2 Logic and Logical Philosophy
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 American Mathematical Monthly
1 Communications in Algebra
1 Journal of Mathematical Analysis and Applications
1 Mathematische Semesterberichte
1 Periodica Mathematica Hungarica
1 Journal of Soviet Mathematics
1 Mathematische Zeitschrift
1 Rendiconti del Seminario Matematico della Università di Padova
1 Results in Mathematics
1 Semigroup Forum
1 New Generation Computing
1 Information and Computation
1 Journal of Automated Reasoning
1 Elemente der Mathematik
1 Expositiones Mathematicae
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Soft Computing
1 Analysis (München)
1 ACM Transactions on Computational Logic
1 Journal of Multiple-Valued Logic and Soft Computing
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Logical Methods in Computer Science
1 Logicheskie Issledovaniya

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.