Order:
Disambiguations
M. C. Otto [53]Martin Otto [19]Max Carl Otto [10]Max C. Otto [4]
M. A. C. Otto [4]M. Otto [4]Melanie Otto [3]Mac Otto [1]

Not all matches are shown. Search with initial or firstname to single out others.

See also
Marcus Otto
Freie Universität Berlin
  1.  8
    Modal Characterisation Theorems Over Special Classes of Frames.Anuj Dawar & Martin Otto - 2009 - Annals of Pure and Applied Logic 161 (1):1-42.
    We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  14
    The Quest for Certainty.M. C. Otto & John Dewey - 1931 - Philosophical Review 40 (1):79.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  3.  13
    Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto. How to Define a Linear Order on Finite Models. Annals of Pure and Applied Logic, Vol. 87 , Pp. 241–267. [REVIEW]M. Otto - 2000 - Bulletin of Symbolic Logic 6 (3):355-356.
  4.  38
    Ashmita Khasnabish. Humanitarian Identity and the Political Sublime: Intervention of a Postcolonial Feminist.Melanie Otto - 2011 - Clr James Journal 17 (1):192-195.
  5.  12
    Modal and Guarded Characterisation Theorems Over Finite Transition Systems.Martin Otto - 2004 - Annals of Pure and Applied Logic 130 (1-3):173-205.
    We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation equivalence (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  37
    Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
    We provide a canonical construction of conformal covers for finite hypergraphs and present two immediate applications to the finite model theory of relational structures. In the setting of relational structures, conformal covers serve to construct guarded bisimilar companion structures that avoid all incidental Gaifman cliques-thus serving as a partial analogue in finite model theory for the usually infinite guarded unravellings. In hypergraph theoretic terms, we show that every finite hypergraph admits a bisimilar cover by a finite conformal hypergraph. In terms (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  7
    The Philosophy of the Present.M. C. Otto, George Herbert Mead, Arthur E. Murphy & John Dewey - 1934 - Philosophical Review 43 (3):314.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  8.  17
    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   8 citations  
  9. The Expressive Power of Fixed-Point Logic with Counting.Martin Otto - 1996 - Journal of Symbolic Logic 61 (1):147-176.
    We study the expressive power in the finite of the logic Fixed-Point+Counting, the extension of first-order logic which is obtained through adding both the fixed-point constructor and the ability to count. To this end an isomorphism preserving (`generic') model of computation is introduced whose PTime restriction exactly corresponds to this level of expressive power, while its PSpace restriction corresponds to While+Counting. From this model we obtain a normal form which shows a rather clear separation of the relational vs. the arithmetical (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  8
    Expressive Completeness Through Logically Tractable Models.Martin Otto - 2013 - Annals of Pure and Applied Logic 164 (12):1418-1453.
    How can we prove that some fragment of a given logic has the power to define precisely all structural properties that satisfy some characteristic semantic preservation condition? This issue is a fundamental one for classical model theory and applications in non-classical settings alike. While methods differ greatly, and while the classical methods can usually not be matched for instance in the setting of finite model theory, this note surveys some interesting commonality revolving around the use and availability of tractable representatives (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  92
    An Interpolation Theorem.Martin Otto - 2000 - Bulletin of Symbolic Logic 6 (4):447-462.
    Lyndon's Interpolation Theorem asserts that for any valid implication between two purely relational sentences of first-order logic, there is an interpolant in which each relation symbol appears positively (negatively) only if it appears positively (negatively) in both the antecedent and the succedent of the given implication. We prove a similar, more general interpolation result with the additional requirement that, for some fixed tuple U of unary predicates U, all formulae under consideration have all quantifiers explicitly relativised to one of the (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  40
    Two Variable First-Order Logic Over Ordered Domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
    The satisfiability problem for the two-variable fragment of first-order logic is investigated over finite and infinite linearly ordered, respectively wellordered domains, as well as over finite and infinite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively wellordered, domains or in the presence of one well-founded relation, is decidable for satisfiability as well as for finite satisfiability. Actually the complexity of these decision problems is essentially (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. The Moral Education of Youth.M. C. Otto - 1921 - International Journal of Ethics 32 (1):52-67.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  22
    Small Substructures and Decidability Issues for First-Order Logic with Two Variables.Emanuel Kieroński & Martin Otto - 2012 - Journal of Symbolic Logic 77 (3):729-765.
    We study first-order logic with two variables FO² and establish a small substructure property. Similar to the small model property for FO² we obtain an exponential size bound on embedded substructures, relative to a fixed surrounding structure that may be infinite. We apply this technique to analyse the satisfiability problem for FO² under constraints that require several binary relations to be interpreted as equivalence relations. With a single equivalence relation, FO² has the finite model property and is complete for non-deterministic (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  9
    A Common Faith.M. C. Otto & John Dewey - 1935 - Philosophical Review 44 (5):496.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  11
    Ethical Dilemmas Related to the HIV-Positive Person in the Workplace.Annatjie Botes & Marianne Otto - 2003 - Nursing Ethics 10 (3):281-294.
    This study’s objectives were: (1) to describe and explore the ethical dilemmas surrounding the HIV-positive person in the workplace in South Africa; and (2) to describe the Rational Interaction for Moral Sensitivity (RIMS) approach as a possible mechanism for solving these ethical dilemmas. A qualitative, exploratory and descriptive research design was used. The target populations were HIV-positive employees and occupational health nurses working for a South African company. Data collected through individual HIV-positive employee interviews and occupational health nurse workgroups were (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  44
    Philosophy and the Synthesis of Knowledge.M. C. Otto - 1923 - The Monist 33 (3):438-452.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18.  21
    Epsilon-Logic is More Expressive Than First-Order Logic Over Finite Structures.Martin Otto - 2000 - Journal of Symbolic Logic 65 (4):1749-1757.
    There are properties of finite structures that are expressible with the use of Hilbert's ε-operator in a manner that does not depend on the actual interpretation for ε-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concerning the invariant use of an auxiliary ordering in first-order logic over finite structures. The present result also implies that certain non-deterministic choice constructs, which have been considered in database theory, properly enhance the expressive power of first-order logic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  36
    Instrumentalism.M. C. Otto - 1926 - The Monist 36 (4):577-593.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  28
    Bounded Variable Logics: Two, Three, and More. [REVIEW]Martin Otto - 1999 - Archive for Mathematical Logic 38 (4-5):235-256.
    Consider the bounded variable logics $L^k_{\infty\omega}$ (with k variable symbols), and $C^k_{\infty\omega}$ (with k variables in the presence of counting quantifiers $\exists^{\geq m}$ ). These fragments of infinitary logic $L_{\infty\omega}$ are well known to provide an adequate logical framework for some important issues in finite model theory. This paper deals with a translation that associates equivalence of structures in the k-variable fragments with bisimulation equivalence between derived structures. Apart from a uniform and intuitively appealing treatment of these equivalences, this approach (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  20
    Automorphism Properties of Stationary Logic.Martin Otto - 1992 - Journal of Symbolic Logic 57 (1):231-237.
    By means of an Ehrenfeucht-Mostowski construction we obtain an automorphism theorem for a syntactically characterized class of Laa-theories comprising in particular the finitely determinate ones. Examples of Laa-theories with only rigid models show this result to be optimal with respect to a classification in terms of prenex quantifier type: Rigidity is seen to hinge on quantification of type $\ldots\forall\ldots\mathbf{\operatorname{stat}}\ldots$ permitting of the parametrization of families of disjoint stationary systems by the elements of the universe.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  23
    Human Experience: A Study of Its Structure. [REVIEW]M. C. Otto - 1927 - Journal of Philosophy 24 (3):80-82.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  34
    On a Certain Blindness in William James.M. C. Otto - 1942 - Ethics 53 (3):184-191.
  24.  5
    Canonization for Two Variables and Puzzles on the Square.Martin Otto - 1997 - Annals of Pure and Applied Logic 85 (3):243-282.
    We consider infinitary logic with only two variable symbols, both with and without counting quantifiers, i.e. L2 L∞ω2 and C2 L∞ω2mεω. The main result is that finite relational structures admit canonization with respect to L2 and C2: there are polynomial time com putable functors mapping finite relational structures to unique representatives of their equivalence class with respect to indistinguishability in either of these logics. In fact we exhibit in verses to the natural invariants that characterize structures up to L2- or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  21
    Our Human Truths. [REVIEW]M. C. Otto - 1940 - Journal of Philosophy 37 (24):657-668.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  19
    Aspects of Ethical Religion. [REVIEW]M. C. Otto - 1927 - Journal of Philosophy 24 (15):417-418.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  18
    Influencing Human Behavior. [REVIEW]M. C. Otto - 1927 - Journal of Philosophy 24 (14):387-388.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. GlaR, T., Rathjen, M. And Schliiter, A., On the Proof-Theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85:283.
  29.  31
    Victims of Philosophic Finality.M. C. Otto - 1941 - Journal of Philosophy 38 (23):627-634.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30.  17
    Bisimulation and Coverings for Graphs and Hypergraphs.Martin Otto - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 5--16.
  31.  15
    Problems of Men. [REVIEW]M. C. Otto - 1947 - Journal of Philosophy 44 (7):189-191.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  11
    An Essay on Nature.M. C. Otto & Frederick J. E. Woodbridge - 1942 - Philosophical Review 51 (4):413.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  9
    The Human Enterprise.M. C. Otto - 1941 - Philosophical Review 50 (3):323-323.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  9
    Things and Ideals.M. C. Otto - 1925 - Journal of Philosophy 22 (20):553-556.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  10
    Retribution and Deterrence in the Moral Judgments of Common Sense.F. C. Sharp & M. C. Otto - 1910 - International Journal of Ethics 20 (4):438-453.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    A Philosophy of Ideals. [REVIEW]M. C. Otto - 1929 - Journal of Philosophy 26 (18):499-501.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  23
    Morality as Coercion or Persuasion.M. C. Otto - 1920 - International Journal of Ethics 31 (1):1-25.
  38.  19
    What is Man?M. C. Otto - 1929 - International Journal of Ethics 39 (2):190-204.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  29
    Pragmatism and the Concept of Wholeness.M. C. Otto - 1923 - Journal of Philosophy 20 (12):309-311.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    The Human Enterprise. An Attempt to Relate Philosophy to Daily Life.M. C. Otto - 1940 - Journal of Philosophy 37 (11):303-305.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  30
    Retribution and Deterrence in the Moral Judgments of Common Sense.F. C. Sharp & M. C. Otto - 1910 - International Journal of Ethics 20 (4):438-453.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  28
    Meditation on a Hill.M. C. Otto - 1930 - Philosophical Review 39 (4):329-350.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43.  8
    Creative Personality.M. C. Otto & Ralph Tyler Flewelling - 1927 - Philosophical Review 36 (6):587.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    A Humanist Symposium on Metaphysics.Corliss Lamont, Max Otto, Julian Huxley, Roy Wood Sellars, Gardner Williams, John Herman Randall Jr & Corliss Lamont - 1959 - Journal of Philosophy 56 (2):45 - 64.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Contemporary American Philosophy. Personal Statements. George P. Adams, William Pepperell Montague.M. C. Otto - 1931 - International Journal of Ethics 41 (2):230-234.
  46.  23
    A Forgotten Service of Kant.M. C. Otto - 1924 - Journal of Philosophy 21 (16):421-428.
  47.  16
    Review: Scott, Kant on the Moral Life. [REVIEW]M. C. Otto - 1926 - Ethics 36 (2):210-.
  48.  10
    Book Review:Man and the Cosmos. Joseph Alexander Leighton. [REVIEW]M. C. Otto - 1924 - Ethics 34 (2):197-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Kant on the Moral LifeJ. W. Scott.M. C. Otto - 1926 - International Journal of Ethics 36 (2):210-213.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Moral Philosophy: The Critical View of LifeWarner Fite.M. C. Otto - 1926 - International Journal of Ethics 36 (3):309-312.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 93