Results for 'Dirk Siefkes'

(not author) ( search as author name )
992 found
Order:
  1.  18
    Undecidable Extensions of Monadic Second Order Successor Arithmetic.Dirk Siefkes - 1971 - Mathematical Logic Quarterly 17 (1):385-394.
  2.  32
    Undecidable Extensions of Monadic Second Order Successor Arithmetic.Dirk Siefkes - 1971 - Mathematical Logic Quarterly 17 (1):385-394.
  3.  22
    Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
  4.  7
    The complete extensions of the monadic second order theory of countable ordinals.J. Richard Büchi & Dirk Siefkes - 1983 - Mathematical Logic Quarterly 29 (5):289-312.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  6
    Review: John Doner, Tree Acceptors and Some of their Applications. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-619.
  6.  12
    Review: Robert McNaughton, Testing and Generating Infinite Sequences by a Finite Automaton. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-618.
  7.  10
    Review: J. W. Thatcher, J. B. Wright, Generalized Finite Automata Theory with an Application to a Decision Problem of Second-order Logic. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-620.
  8.  10
    Doner John. Tree acceptors and some of their applications. Journal of computer and system sciences, vol. 4 , pp. 406–451. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-619.
  9.  42
    Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rödding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden1985, xvii + 469 pp. - Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rodding. Second corrected edition of the preceding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden1986, xvii + 469 pp. [REVIEW]Dirk Siefkes - 1989 - Journal of Symbolic Logic 54 (4):1490-1493.
  10.  25
    Ferenc Gécseg and Magnus Steinby. Tree automata. Akadémiai Kiadó, Budapest1984, also distributed by Heyden & Son, Philadelphia, 235 pp. [REVIEW]Dirk Siefkes - 1987 - Journal of Symbolic Logic 52 (1):287-288.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  20
    Ferrante Jeanne and Rackoff Charles W.. The computational complexity of logical theories. Lecture notes in mathematics, vol. 718. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 243 pp. [REVIEW]Dirk Siefkes - 1984 - Journal of Symbolic Logic 49 (2):670-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  25
    J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 , pp. 57–81. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):619-620.
  13.  23
    Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 , pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 , pp. 1–35. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.
  14. Review: Ferenc Gecseg, Magnus Steinby, Tree Automata. [REVIEW]Dirk Siefkes - 1987 - Journal of Symbolic Logic 52 (1):287-288.
     
    Export citation  
     
    Bookmark  
  15. Review: Jeanne Ferrante, Charles W. Rackoff, The Computational Complexity of Logical Theories. [REVIEW]Dirk Siefkes - 1984 - Journal of Symbolic Logic 49 (2):670-671.
     
    Export citation  
     
    Bookmark  
  16.  18
    Review: Michael O. Rabin, Weakly Definable Relations and Special Automata. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  17.  14
    Review: Michael O. Rabin, Automata on Infinite Objects and Church's Problem. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
  18.  8
    Review: Michael O. Rabin, Decidability and Definability in Second-Order Theories. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
  19.  23
    Rabin Michael O.. Weakly definable relations and special automata. Mathematical logic and foundations of set theory, Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 1–23. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):622-623.
  20.  15
    Rabin Michael O.. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  11
    Rabin Michael O.. Automata on infinite objects and Church's problem. Conference Board of the Mathematical Sciences, Regional conference series in mathematics, no. 13. American Mathematical Society, Providence 1972, 22 pp. [REVIEW]Dirk Siefkes - 1975 - Journal of Symbolic Logic 40 (4):623-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  22
    Robert McNaughton. Testing and generating infinite sequences by a finite automaton. Information and control, vol. 9 , pp. 521–530. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Review: Uwe Schoning, Logic for Computer Scientists. [REVIEW]Dirk Siefkes - 1991 - Journal of Symbolic Logic 56 (2):761-762.
  24.  11
    Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp. [REVIEW]Dirk Siefkes - 1991 - Journal of Symbolic Logic 56 (2):761-762.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  15
    Review: J. Richard Buchi, Dirk Siefkes, Finite Automata, their Algebras and Grammars. Towards a Theory of Formal Expressions. [REVIEW]Stephen L. Bloom - 1991 - Journal of Symbolic Logic 56 (2):762-763.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  25
    J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp. [REVIEW]Stephen L. Bloom - 1991 - Journal of Symbolic Logic 56 (2):762-763.
  27. Description of many separated physical entities without the paradoxes encountered in quantum mechanics.Dirk Aerts - 1982 - Foundations of Physics 12 (12):1131-1170.
    We show that it is impossible in quantum mechanics to describe two separated physical systems. This is due to the mathematical structure of quantum mechanics. It is possible to give a description of two separated systems in a theory which is a generalization of quantum mechanics and of classical mechanics, in the sense that this theory contains both theories as special cases. We identify the axioms of quantum mechanics that make it impossible to describe separated systems. One of these axioms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  28.  13
    Using Network Science to Understand the Aging Lexicon: Linking Individuals' Experience, Semantic Networks, and Cognitive Performance.Dirk U. Wulff, Simon De Deyne, Samuel Aeschbach & Rui Mata - 2022 - Topics in Cognitive Science 14 (1):93-110.
    People undergo many idiosyncratic experiences throughout their lives that may contribute to individual differences in the size and structure of their knowledge representations. Ultimately, these can have important implications for individuals' cognitive performance. We review evidence that suggests a relationship between individual experiences, the size and structure of semantic representations, as well as individual and age differences in cognitive performance. We conclude that the extent to which experience-dependent changes in semantic representations contribute to individual differences in cognitive aging remains unclear. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  41
    Discourse Ethics and Social Accountability: The Ethics of SA 8000.Dirk Ulrich Gilbert & Andreas Rasche - 2007 - Business Ethics Quarterly 17 (2):187-216.
    ABSTRACT:Based on theoretical insights of discourse ethics as developed by Jürgen Habermas, we delineate a proposal to further develop the institutionalization of social accounting in multinational corporations (MNCs) by means of “Social Accountability 8000” (SA 8000). First, we discuss the cornerstones of Habermas's discourse ethics and elucidate how and why this concept can provide a theoretical justification of the moral point of view in MNCs. Second, the basic conception, main purpose, and implementation procedure of SA 8000 are presented. Third, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   76 citations  
  30.  54
    Discourse Ethics and Social Accountability: The Ethics of SA 8000.Dirk Ulrich Gilbert & Andreas Rasche - 2007 - Business Ethics Quarterly 17 (2):187-216.
    ABSTRACT:Based on theoretical insights of discourse ethics as developed by Jürgen Habermas, we delineate a proposal to further develop the institutionalization of social accounting in multinational corporations (MNCs) by means of “Social Accountability 8000” (SA 8000). First, we discuss the cornerstones of Habermas's discourse ethics and elucidate how and why this concept can provide a theoretical justification of the moral point of view in MNCs. Second, the basic conception, main purpose, and implementation procedure of SA 8000 are presented. Third, we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  31.  12
    Accountability in a Global Economy: The Emergence of International Accountability Standards.Dirk Ulrich Gilbert, Andreas Rasche & Sandra Waddock - 2011 - Business Ethics Quarterly 21 (1):23-44.
    ABSTRACT:This article assesses the proliferation of international accountability standards (IAS) in the recent past. We provide a comprehensive overview about the different types of standards and discuss their role as part of a new institutional infrastructure for corporate responsibility. Based on this, it is argued that IAS can advance corporate responsibility on a global level because they contribute to the closure of some omnipresent governance gaps. IAS also improve the preparedness of an organization to give an explanation and a justification (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  32. Opportunities and Problems of Standardized Ethics Initiatives – a Stakeholder Theory Perspective.Dirk Ulrich Gilbert & Andreas Rasche - 2008 - Journal of Business Ethics 82 (3):755-773.
    This article explains problems and opportunities created by standardized ethics initiatives (e.g., the UN Global Compact, the Global Reporting Initiative, and SA 8000) from the perspective of stakeholder theory. First, we outline differences and commonalities among currently existing initiatives and thus generate a common ground for our discussion. Second, based on these remarks, we critically evaluate standardized ethics initiatives by drawing on descriptive, instrumental, and normative stakeholder theory. In doing so, we explain why these standards are helpful tools when it (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  33.  50
    Advancing Integrative Social Contracts Theory: A Habermasian Perspective.Dirk Ulrich Gilbert & Michael Behnam - 2009 - Journal of Business Ethics 89 (2):215-234.
    We critically assess integrative social contracts theory (ISCT) and show that the concept particularly lacks of moral justification of substantive hypernorms. By drawing on Habermasian philosophy, in particular discourse ethics and its recent application in the theory of deliberative democracy , we further advance ISCT and show that social contracting in business ethics requires a well-justified procedural rather than a substantive focus for managing stakeholder relations. We also replace the monological concept of hypothetical thought experiments in ISCT by a concept (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  34.  25
    Personal attributes, organizational conditions, and ethical attitudes: a social cognitive approach.Dirk Holtbrügge, Anastasia Baron & Carina B. Friedmann - 2014 - Business Ethics: A European Review 24 (3):264-281.
    This paper investigates the impact of personal attributes and organizational conditions on attitudes toward corporate misdeeds. On the basis of social cognitive theory, we develop hypotheses that are tested against data collected from 215 German employees using an online survey. Our findings suggest that personal attributes have a much greater impact on ethical attitudes than organizational conditions. Further, a moderating effect of control-oriented culture on the relationship between personality traits and attitudes toward corporate misdeeds is found. We derive implications for (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  35. Between Immaterial Labour and Care for the Other. Tracing the Moral Foundations and Limits of Customer Service.Dirk Bunzel - forthcoming - Levinas, Business Ethics.
     
    Export citation  
     
    Bookmark  
  36. Invariant time-course of priming with and without awareness.Dirk Vorberg, Uwe Mattler, Armin Heinecke, Thomas Schmidt & Jens Schwarzbach - 2004 - In Christian Kaernbach, Erich Schröger & Hermann Müller (eds.), Psychophysics Beyond Sensation: Laws and Invariants of Human Cognition. Psychology Press.
  37.  50
    Coordinating perspectives: De se and taste attitudes in communication.Dirk Kindermann - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (8):912-955.
    ABSTRACT. The received picture of linguistic communication understands communication as the transmission of information from speaker's head to hearer's head. This picture is in conflict with the attractive Lewisian view of belief as self-location, which is motivated by de se attitudes – first-personal attitudes about oneself – as well as attitudes about subjective matters such as personal taste. In this paper, I provide a solution to the conflict that reconciles these views. I argue for an account of mental attitudes and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  38.  43
    Living with the animals: animal or robotic companions for the elderly in smart homes?Dirk Preuß & Friederike Legal - 2017 - Journal of Medical Ethics 43 (6):407-410.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  82
    The Governance of Digital Technology, Big Data, and the Internet: New Roles and Responsibilities for Business.Dirk Matten, Ronald Deibert & Mikkel Flyverbom - 2019 - Business and Society 58 (1):3-19.
    The importance of digital technologies for social and economic developments and a growing focus on data collection and privacy concerns have made the Internet a salient and visible issue in global politics. Recent developments have increased the awareness that the current approach of governments and business to the governance of the Internet and the adjacent technological spaces raises a host of ethical issues. The significance and challenges of the digital age have been further accentuated by a string of highly exposed (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  40.  33
    Leaving the Road to Abilene: A Pragmatic Approach to Addressing the Normative Paradox of Responsible Management Education.Dirk C. Moosmayer, Sandra Waddock, Long Wang, Matthias P. Hühn, Claus Dierksmeier & Christopher Gohl - 2019 - Journal of Business Ethics 157 (4):913-932.
    We identify a normative paradox of responsible management education. Business educators aim to promote social values and develop ethical habits and socially responsible mindsets through education, but they attempt to do so with theories that have normative underpinnings and create actual normative effects that counteract their intentions. We identify a limited conceptualization of freedom in economic theorizing as a cause of the paradox. Economic theory emphasizes individual freedom and understands this as the freedom to choose from available options. However, conceptualizing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  41. Knowledge, Pragmatics, and Error.Dirk Kindermann - 2016 - Grazer Philosophische Studien 93 (3):429-57.
    ‘Know-that’, like so many natural language expressions, exhibits patterns of use that provide evidence for its context-sensitivity. A popular family of views – call it prag- matic invariantism – attempts to explain the shifty patterns by appeal to a pragmatic thesis: while the semantic meaning of ‘know-that’ is stable across all contexts of use, sentences of the form ‘S knows [doesn’t know] that p’ can be used to communicate a pragmatic content that depends on the context of use. In this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42. Pinocchio and the puppet of Plato's Laws.Jeffrey Dirk Wilson - 2016 - In Geoffrey C. Kellow & Neven Leddy (eds.), On Civic Republicanism: Ancient Lessons for Global Politics. University of Toronto Press.
  43. Corporate social responsibility education in europe.Dirk Matten & Jeremy Moon - 2004 - Journal of Business Ethics 54 (4):323 - 337.
    In the context of some criticism about social responsibility education in business schools, the paper reports findings from a survey of CSR education (teaching and research) in Europe. It analyses the extent of CSR education, the different ways in which it is defined and the levels at which it is taught. The paper provides an account of the efforts that are being made to mainstream CSR teaching and of the teaching methods deployed. It considers drivers of CSR courses, particularly the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  44.  22
    What Would John Stuart Mill Say? A Utilitarian Perspective on Contemporary Neuroscience Debates in Leadership.Dirk Lindebaum & Effi Raftopoulou - 2017 - Journal of Business Ethics 144 (4):813-822.
    The domain of organizational neuroscience increasingly influences leadership research and practice in terms of both selection and interventions. The dominant view is that the use of neuroscientific theories and methods offers better and refined predictions of what constitutes good leadership. What has been omitted so far, however, is a deeper engagement with ethical theories. This engagement is imperative as it helps problematize a great deal of the current advocacy around organizational neuroscience. In this article, we draw upon John Stuart Mill’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  4
    Theory refinement combining analytical and empirical methods.Dirk Ourston & Raymond J. Mooney - 1994 - Artificial Intelligence 66 (2):273-309.
  46.  23
    Introduction to Mathematical Logic.Dirk van Dalen - 1964 - Journal of Symbolic Logic 34 (1):110-111.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  47. Knowledge embedded.Dirk Kindermann - 2019 - Synthese (5):4035-4055.
    How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, comparatives, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  47
    Observing one’s hand become anarchic: An fMRI study of action identification.Dirk T. Leube, Günther Knoblich, Michael Erb & Tilo T. J. Kircher - 2003 - Consciousness and Cognition 12 (4):597-608.
    The self seems to be a unitary entity remaining stable across time. Nevertheless, current theorizing conceptualizes the self as a number of interacting sub-systems involving perception, intention and action (self-model). One important function of such a self-model is to distinguish between events occurring as a result of one's own actions and events occurring as the result of somebody else's actions. We conducted an fMRI experiment that compared brain activation after an abrupt mismatch between one's own movement and its visual consequences (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  45
    Taking the future seriously: On the inadequacies of the framework of liberalism for environmental education.Dirk Willem Postma - 2002 - Journal of Philosophy of Education 36 (1):41–56.
    International reports on environmental policy promote ‘education for sustainable development’ as an instrument for realising environmental awareness, values and attitudes consistent with the liberal concept of ‘sustainable development’. In this paper the ethical and political-philosophical assumptions of (education for) sustainable development will be criticised. First, it will be argued that (Rawlsian) liberal ethics cannot include obligations towards future generations. Second, the commentary focuses on the economic perspective underlying this liberal framework, its anthropocentric bias and the hierarchical distinction between public and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50.  14
    Towards International Relations beyond the mind.Dirk Nabers - 2018 - Journal of International Political Theory 16 (1):89-105.
    The analysis focuses on the centrality of the mind and the mental, and their relationship with the notion of discourse in International Relations theorizing. While many forms of discourse theory ar...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 992