A gentle introduction to unification in modal logics

International audienceUnification in propositional logics is an active research area. In this paper, we introduce the results we have obtained within the context of modal logics and epistemic logics and we present some of the open problems whose solution will have an important impact on the future of the area.L'unification dans les logiques propositionnelles est un domaine de recherche actif. Dans cet article, nous présentons les résultats que nous avons obtenus dans le cadre des logiques modales et des logiqueś epistémiques et nous introduisons quelques uns des problèmes ouverts dont la résolution aura un impact important sur l'avenir du domaine

About the type of modal logics for the unification problem

Dans cette thèse, nous étudierons le problème de l'unification dans les logiques modales ordinaires, les fusions de deux logiques modales et les logiques épistémiques multi-modales. Relativement à une logique propositionnelle L, étant donnée une formule A, nous devons trouver des substitutions s telle que s(A) est dans L. Lorsqu'elles existent, ces substitutions sont appelées unifieurs de A dans L. Nous étudions différentes méthodes pour construire des ensembles minimaux complets d'unifieurs d'une formule donnée A et, en fonction de la cardinalité des ces ensembles minimaux complets, nous discutons du type de l'unification de A. Enfin, nous déterminons les types de l'unification de plusieurs logiques propositionnelles.In this thesis, we shall investigate on the unification problem in ordinary modal logics, fusions of two modal logics and multi-modal epistemic logics. With respect to a propositional logic L, given a formula A, we have to find substitutions s such that s(A) is in L. When they exist, these substitutions are called unifiers of A in L. We study different methods for the construction of minimal complete sets of unifiers of a given formula A and according to the cardinality of these minimal complete sets, we shall discuss on the unification type of A. Then, we determine the unification types of several propositional logics

Axiomatising logics with separating conjunctions and modalities

International audienceModal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for the modal separation logics MSL(⇤, h6 =i) and MSL(⇤, 3), where ⇤ is the separating conjunction, 3 is the standard modal operator and h6 =i is the di↵erence modality. The calculi only use the logical languages at hand (no external features such as labels) and take advantage of new normal forms and of their axiomatisation

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions

Both Into and Out of the Cage: New Media, Transgression, and the Remaking of American Literary Connection, 1975-1999

The dissertation addresses an absent history of late twentieth-century postmodern literature. Namely, I trace the shifts between 1980s postmodernism, described by Fredric Jameson as encapsulating a “wan[ed]”“affect,” and the emergence of 1990s post-postmodernism, marked by an exaggeration of affect. My dissertation posits that this reinvention of feeling was due to shifts in communication technologies and new media art during the 1970s and 1980s competing with, and eventually rendering obsolete, avant-garde literary techniques for “connection.” These latter strategies were encapsulated in the postmodern “encyclopedic” novel, a form miming the logic of new media, yet incapable of fully addressing new programmatic shifts, such as the installation-centered apparatuses of new media, the textual depth of digitalism, and posthuman data used for characterization. The strain of this pseudo-computational organization and ethic, however, leads to the pursuit of “feeling” on a more visceral basis. Pursuant with this visceral intention, I posit the genre of transgressive literature, usually misunderstood as employing simple-minded shock tactics, as a hinge point between postmodern and post-postmodern conceptions of “feeling.” Transgressive literature, I argue, offers systematic, new-media-like schemas to explore moments of emotional excess or visceral shock, allowing a further bridge to post-postmodernist writers like David Foster Wallace, who explore affect within complex, maximalist schemas. In essence, the study supplies a media analysis of American postmodernism’s demise and return long missing. Such a study is integral to any complete history of postmodernism or consideration of the experimental literature that follows it