Results for 'Otto Hartig'

1000+ found
Order:
  1.  25
    Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
    It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  4
    Einführung in die Sprachphilosophie: d. Verhältnis von Sprache u. Denken.Matthias Hartig - 1978 - Mainz: Kohlhammer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  4
    Zur Interpretation der Syllogistik.Klaus Härtig - 1958 - Journal of Symbolic Logic 23 (2):229-230.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  2
    Uber die Syllogismen als Relationenmultiplikationen.Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):80-81.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  5
    Psychological Restoration in Nature as a Positive Motivation for Ecological Behavior.Terry Hartig, Florian G. Kaiser & Peter A. Bowler - 2001 - Environment and Behavior 33 (4):590-607.
    Shifting the focus from fear, guilt, and indignation related to deteriorating environmental quality, the authors hypothesized that people who see greater potential for restorative experiences in natural environments also do more to protect them by behaving ecologically, as with recycling or reduced driving. University students rated a familiar freshwater marsh in terms of being away, fascination, coherence, and compatibility, qualities of restorative person-environment transactions described in attention restoration theory. They also reported on their performance of various ecological behaviors. The authors (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  45
    Intersections between Law and Language: Disciplinary Concepts in Second Language Legal Literacy.Alissa J. Hartig - 2016 - Studies in Logic, Grammar and Rhetoric 45 (1):69-86.
    Name der Zeitschrift: Studies in Logic, Grammar and Rhetoric Jahrgang: 45 Heft: 1 Seiten: 69-86.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Essay on the study of the vegetation process.Otto Wildi & Laszlo Orloci - 2007 - In Felix Kienast, Otto Wildi & S. Ghosh (eds.), A changing world: challenges for landscape research. Dordrecht, The Netherlands: Springer.
     
    Export citation  
     
    Bookmark  
  8. Leben und Werk von Otto Selz (1881-1943): zum 100. Geburtstag des Philosophen und Psychologen.Otto Selz, Karl Josef Groffmann & Günther Groth (eds.) - 1981 - Mannheim: Otto-Selz-Institut, Universität Mannheim.
  9.  7
    Control Group Paradigms in Studies Investigating Acute Effects of Exercise on Cognitive Performance–An Experiment on Expectation-Driven Placebo Effects.Max Oberste, Philipp Hartig, Wilhelm Bloch, Benjamin Elsner, Hans-Georg Predel, Bernhard Ernst & Philipp Zimmer - 2017 - Frontiers in Human Neuroscience 11.
  10.  10
    Die Lehre des Buddha und Heidegger: Beiträge zum Ost-West-Dialog des Denkens im 20. Jahrhundert.Willfred Hartig & Hellmuth Hecker - 1997 - Konstanz: Universitat Konstanz Arbeitsbereich Entwicklungslander/Inter. Edited by Hellmuth Hecker.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Ernst Bloch zum 70. Gropp, Rugard Otto & [From Old Catalog] - 1955 - Berlin,: Deutscher Verlag der Wissenschaften.
     
    Export citation  
     
    Bookmark  
  12.  3
    Logik der Paradoxie: Jean-Jacques Rousseaus Paradoxien im Spannungsfeld von Philosophie, Pädagogik und Politik.Otto Hansmann - 2013 - Würzburg: Königshausen & Neumann.
  13. Leben Und Meinungen Berühmter Philosophen.Otto Diogenes Laertius & Apelt - 1955 - Akademie Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  8
    1853–1855.Otto Wigand, L. Feuerbach, Rostockius, C. J. Duboc, J. J. Weber, Jac Moleschott, M. Droßbach, Ferdinand Kampe, Otto Meißner, A. H. Ewerbeck, Herz, Jos Dietzgen & Bruder Ludwig - 1996 - In Bruder Ludwig, Jos Dietzgen, Herz, A. H. Ewerbeck, Otto Meißner, Ferdinand Kampe, M. Droßbach, Jac Moleschott, J. J. Weber, C. J. Duboc, Rostockius, L. Feuerbach & Otto Wigand (eds.), Briefwechsel Iv. De Gruyter Akademie Forschung. pp. 1-106.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Space and place : two aspects of the human-landscape relationship.Marcel Hunziker, Matthias Bucheker & Terry Hartig - 2007 - In Felix Kienast, Otto Wildi & S. Ghosh (eds.), A changing world: challenges for landscape research. Dordrecht, The Netherlands: Springer.
     
    Export citation  
     
    Bookmark  
  16.  20
    The rise and fall of the German miracle.Wolfgang Kerber & Sandra Hartig - 1999 - Critical Review: A Journal of Politics and Society 13 (3-4):337-358.
    The fast recovery of Germany's economy after World War II—the so‐called “German miracle”—can be explained by the market‐oriented economic policies pursued in the 1950s, based upon the ideas of Ordoliberalism. The slounng growth rates and increasing economic difficulties since the 1970s seem to have resulted from the extension of interventionist and redistributionist policies beyond those sanctioned by Ordoliberalism. The roots of the German economic decline are political: already in the 1950s, a broad consensus existed about the need to integrate market‐oriented (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  30
    Building mindfulness bottom-up: Meditation in natural settings supports open monitoring and attention restoration.Freddie Lymeus, Per Lindberg & Terry Hartig - 2018 - Consciousness and Cognition 59:40-56.
  18.  9
    The war on science: who's waging it, why it matters, and what we can do about it.Shawn Lawrence Otto - 2016 - Minneapolis, Minnesota: Milkweed Editions.
    An “insightful” and in-depth look at anti-science politics and its deadly results (Maria Konnikova, New York Times–bestselling author of The Biggest Bluff). Thomas Jefferson said, “Wherever the people are well informed, they can be trusted with their own government.” But what happens when they aren’t? From climate change to vaccinations, transportation to technology, health care to defense, we are in the midst of an unprecedented expansion of scientific progress—and a simultaneous expansion of danger. At the very time we need them (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Zur Axiomatisierung Der Nicht‐Identitäten Des Aussagenkalküls.Klaus Härtig - 1960 - Mathematical Logic Quarterly 6 (15-22):240-247.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Einstellige Funktionen Als Grundbegriffe der Elementaren Zahlentheorie.Klaus Härtig - 1959 - Mathematical Logic Quarterly 5 (14-24):209-215.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Ein Spezialfall der Substitution als Grundbeziehung der Elementaren Semiotik.Klaus Härtig - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (11):151-156.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Explizite Definitionen einiger Eigenschaften von Zeichenreihen.Klaus Härtig - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):177-203.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  34
    Human space.Otto Friedrich Bollnow - 2011 - London: Hyphen. Edited by Christine Shuttleworth & Joseph Kohlmaier.
    Following its publication in Germany in 1963, Otto Friedrich Bollnow's Human Space quickly became essential reading within a cross-disciplinary field of subject areas including architecture, anthropology, and philosophy. In this first English translation, Bollnow conceives the human experience of space not merely as a philosophical problem but also as an extension of his research into psychology, human behavior, and the conventional domains of architecture: living in a building, in an apartment, in a house. Human Space is a remarkable investigation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  24. Einbettung elementarer Theorien in endlich axiomatisierbare.Klaus Härtig - 1958 - Mathematical Logic Quarterly 4 (17-20):249-292.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Die «Identischen Urteile» der Syllogistik.Klaus Härtig - 1953 - Proceedings of the XIth International Congress of Philosophy 5:28-34.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  18
    Wert und Wirklichkeit: Bausteine zu einer deutschen Pädagogik.Ernst Otto - 1941 - Berlin,: De Gruyter.
  27.  6
    Die Herkunft der platonischen Kardinaltugenden.Otto Kunsemüller - 1935 - New York: Arno Press. Edited by Hermann Wankel.
    Enthält: Die Herkunft der platonischen Kardinaltugenden / Otto Kunsemüller. And, Kalos kai agathos / Hermann Wankel.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Vom Leben, Leiden und Sterben: (eine nachdenkliche Biologie).Otto Julius Hartmann - 1980 - Schaffhausen: Novalis Verlag.
     
    Export citation  
     
    Bookmark  
  29.  4
    Das höchste Gut: Philos Hochschätzung der Freundschaft im Horizont ihrer antiken Geltung.Otto Kaiser - 2015 - Stuttgart: Radius.
  30.  9
    Philo von Alexandrien: denkender Glaube, eine Einführung.Otto Kaiser - 2015 - Göttingen: Vandenhoeck & Ruprecht.
    Theologie / Altes Testament Philo von Alexandrien nimmt eine Schlüsselstellung in der hellenistischen Geistesgeschichte ein, weil er der erste mittelplatonische Denker gewesen ist, dessen Schriften zum größten Teil überliefert sind. Seine Schriften sind darüber hinaus eine unentbehrliche Quelle für die hellenistische und stoische Philosophie, deren Werke nicht erhalten sind. Seine theologiegeschichtliche Bedeutung beruht darauf, dass er sich als Erster bei seinen Auslegungen der Fünft Bücher Mose zur Welt- und Existenzerhellung der ihm vorliegenden Schriften der griechischen Philosophen und...
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  4
    Raymundus Lullus und seine stellung zur arabischen philosophie.Otto Keicher - 1909 - Münster: Aschendorff. Edited by Ramon Llull.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  18
    Der Versicherungsmakler in den Vereinigten Staaten von Amerika.Otto R. V. Laun - 1939 - De Gruyter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. La cuestión religiosa en el Engels pre-marxista: estudio sobre la génesis de un punto de vista en sociología de las religiones.Otto Maduro - 1981 - Caracas, Venezuela: Monte Avila Editores.
     
    Export citation  
     
    Bookmark  
  34.  5
    Philosophische Gotteslehre.Otto Muck - 1983 - Düsseldorf: Patmos.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Die Verantwortung im Umgang mit dem Begriff der Verantwortung.Otto Neumaier - 1986 - In Wissen und Gewissen: Arbeiten zur Verantwortungsproblematik. Wien: VWGÖ.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  6
    Der Niedergang der Rechtsidee im utilitaristischen Zeitgeist.Harro Otto - 1981 - Kassel: F. Knittel.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Die Säkularisierung der Macht und der Staat.Otto Schulmeister - 1987 - In Hans Spatzenegger (ed.), Macht und Moral: zur politischen Kultur unserer Gesellschaft. Salzburg: Universitätsverlag A. Pustet.
     
    Export citation  
     
    Bookmark  
  38.  6
    Ambivalenz von Mensch und Welt.Otto Veit - 1981 - Frankfurt (Main): R.G. Fischer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Die Methode der Geisteswissenschaften.Otto Friedrich Bollnow - 1950 - Mainz,: Johannes Gutenberg-Buchhandlung.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Das Verstehen.Otto Friedrich Bollnow - 1949 - Mainz/Rhein,: Kirchheim.
    Was heisst, einen Schriftsteller besser verstehen, als er sich selber verstanden hat?--Über das kritische Verstehen.--Zur Frage nach der Objektivität der Geisteswissenschaften.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  5
    Das wesen der stimmungen.Otto Friedrich Bollnow - 1943 - Frankfurt am Main,: V. Klostermann.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Les tonalités affectives.Otto Friedrich Bollnow - 1953 - Neuchâtel,: Éditions de la Baconnière.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  4
    Die Synthese von innerer Gewissheit (Glaube) und wissenschaftlicher Erkenntnis.Otto Brühlmann - 1953 - Kreuzlingen,:
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Über die Objektivität der Rechtsprechung.Otto Brusiin - 1949 - Helsinki,:
     
    Export citation  
     
    Bookmark  
  45. Grenzen des Staates.Otto Dibelius - 1949 - Berlin-Spandau,: Wichern-Verlag H. Renner.
     
    Export citation  
     
    Bookmark  
  46.  3
    Der gegenstand in der Kantischen philosophie.Otto Hagelstein - 1944 - Berlin,: Junker und Dünnhaupt.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Biologie des Stoffes.Otto Heinrich Muck - 1947 - Leipzig,: J. A. Barth.
     
    Export citation  
     
    Bookmark  
  48.  10
    Humanismus--heute?Otto Regenbogen - 1947 - Heidelberg,: F. H. Kerle.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  4
    Christliche Staatslehre und Staatspflichtenlehre.Otto Schilling - 1951 - Donauwörth,: Cassianeum.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Christentum und Positivismus.Otto Volz - 1951 - Tübingen,: Mohr.
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000