10 research outputs found

    Crashes with reality – A narrative phenomenon in literary fiction of the early modern and the postmodern period

    Get PDF
    The article concentrates on the collision between plural concepts of reality in narrative fiction. For that purpose it focuses on theoretical aspects of world construction as well as on issues concerning the notions of character and narrative instances from a narratological point of view. Narrative collisions depend on heterogeneous, pluriregional or instable worlds, characters’ deficits in knowledge and problematic perception, metalepses and the exposure and handling of the borderline between two or more concepts of reality. To illustrate these theoretical preliminaries the article attempts to show how texts functionalise such structures to create narrations of transition. Arnold Höllriegel’s The Films by Princess Fantoche (1913) was written in the context of the early modern period. It correlates the collision of ‘realities’ to general questions of the modern crisis about whether to follow traditional ways or to find new ones. In Benjamin Stein’s Replay (2012) subjectivity is raised as a problem insofar as the narrating character loses himself in entangled time-circles and delivers an unreliable narration. Stein discusses the postmodern game of intertextuality, technologism, eroticism, and self-reflection as well as the loss of the narrative and the wish for its renewal. The article concentrates on the collision between plural concepts of reality in narrative fiction. For that purpose it focuses on theoretical aspects of world construction as well as on issues concerning the notions of character and narrative instances from a narratological point of view. Narrative collisions depend on heterogeneous, pluriregional or instable worlds, characters’ deficits in knowledge and problematic perception, metalepses and the exposure and handling of the borderline between two or more concepts of reality. To illustrate these theoretical preliminaries the article attempts to show how texts functionalise such structures to create narrations of transition. Arnold Höllriegel’s The Films by Princess Fantoche (1913) was written in the context of the early modern period. It correlates the collision of ‘realities’ to general questions of the modern crisis about whether to follow traditional ways or to find new ones. In Benjamin Stein’s Replay (2012) subjectivity is raised as a problem insofar as the narrating character loses himself in entangled time-circles and delivers an unreliable narration. Stein discusses the postmodern game of intertextuality, technologism, eroticism, and self-reflection as well as the loss of the narrative and the wish for its renewal

    The Inverse Method Implements the Automata Approach for Modal Satisfiability

    No full text
    Tableaux-based decision procedures for satisfiability of modal and description logics behave quite well in practice, but it is sometimes hard to obtain exact worst-case complexity results using these approaches, especially for EXPTIME-complete logics. In contrast, automata-based approaches often yield algorithms for which optimal worst-case complexity can easily be proved. However, the algorithms obtained this way are usually not only worst-case, but also best-case exponential: they first construct an automaton that is always exponential in the size of the input, and then apply the (polynomial) emptiness test to this large automaton. To overcome this problem, one must try to construct the automaton 'on-the-fly' while performing the emptiness test. In this paper we will show that Voronkov´s inverse method for the modal logic K can be seen as an on-the-fly realization of the emptiness test done by the automata approach for K. The benefits of this result are two-fold. First, it shows that Voronkov´s implementation of the inverse method, which behaves quite well in practice, is an optimized on-the-fly implementation of the automata-based satisfiability procedure for K. Second, it can be used to give a simpler proof of the fact that Voronkov´s optimizations do not destroy completeness of the procedure. We will also show that the inverse method can easily be extended to handle global axioms, and that the correspondence to the automata approach still holds in this setting. In particular, the inverse method yields an EXPTIME-algorithm for satisfiabilty in K w.r.t. global axioms.</jats:p
    corecore