Relation-Changing Logics as Fragments of Hybrid Logics

Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to delete, add, and swap edges in the model, both locally and globally. We provide translations from these logics to hybrid logic along with an implementation. In general, these logics are undecidable, but we use our translations to identify decidable fragments. We also compare the expressive power of relation-changing modal logics with hybrid logics.Comment: In Proceedings GandALF 2016, arXiv:1609.0364

Satisfiability for relation-changing logics

Relation-changing modal logics (RC for short) are extensions of the basic modal logic with dynamic operators that modify the accessibility relation of a model during the evaluation of a formula. These languages are equipped with dynamic modalities that are able e.g. to delete, add and swap edges in the model, both locally and globally. We study the satisfiability problem for some of these logics.We first show that they can be translated into hybrid logic. As a result, we can transfer some results from hybrid logics to RC. We discuss in particular decidability for some fragments. We then show that satisfiability is, in general, undecidable for all the languages introduced, via translations from memory logics.Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Fervari, Raul Alberto. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; ArgentinaFil: Hoffmann, Guillaume Emmanuel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Ciencias de la Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Martel, Mauricio. Universitat Bremen; Alemani

Étude électroencéphalographique des premiers processus syntaxiques impliqués lors de la compréhension de la phrase en français québécois

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Le monde en représentation dans l'auto sacramental le grand théâtre du monde de Pedro Calderón de la Barca : la figure du theatrum mundi prise comme matière dramatique

Le présent mémoire explore la figure du theatrum mundi telle qu'elle se développe dans le théâtre religieux de Pedro Calderón de la Barca, et la manière dont, par le concours de l'auto sacramental Le grand théâtre du monde, un tournant s'effectue dans la longue tradition de cette métaphore. Lieu commun de la philosophie classique et de la théologie chrétienne, lié à un régime mimétique de représentation empreint d'idéalisme platonicien, le rapprochement du théâtre et du monde trouve dans le théâtre du Siècle d'or -théâtre global et total à l'intention de l'ensemble de la société- un\ud espace de consécration et de transformation. On sait que l'auto sacramental, genre exclusivement espagnol, était un véhicule de propagande catholique d'une grande envergure\ud à l'époque de la Contre-réforme. On sait aussi que Calderón de la Barca, en tant que maître incontesté de cette forme, et poète favori du roi, mais aussi en tant qu'homme de théâtre aux multiples ressources, était à même de construire une oeuvre religieuse d'une grande complexité dramatique. En conséquence, ce mémoire examine la manière dont le motif du théâtre du monde devient, à travers une pièce de l'art de propagande catholique, l'expression d'un régime matérialiste de la représentation, et comment le personnage allégorique du Monde dans Le grand théâtre du monde devient l'incarnation scénique d'un langage dramatique et pratique en déprise de la tradition métaphysique qui le suscite. Grâce notamment à la théologie des pères de l'Église et à la philosophie baroque de Leibniz, on aura l'occasion de voir se constituer en image affirmative de la création et du théâtre, cette pièce qui, vivante jusqu'à nous, aura su séduire aussi, par l'amplitude sémantique de ses figures et la richesse de sa poésie, le Nouveau Théâtre Expérimental québécois et la plume de Jean-Pierre Ronfard. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Caldérón de la Barca Pedro (1600-1681), Théâtre et littérature baroque, Théologie, Tertullien, Représentation, Theatrum mundi, Ronfard Jean-Pierre, Le grand théâtre du monde, Siècle d'or espagnol

Choix éthiques et valeurs des collégiens: influence de l'environnement culturel

"La présente recherche a été subventionnée par l'Association des collèges privés du Québec dans le cadre du Programme de recherche et d'expérimentation"Titre de l'écran-titre (visionné le 8 mars 2007)Également disponible en format papierBibliogr

High- and low-frequency transcutaneous electrical nerve stimulation does not reduce experimental pain in elderly individuals

Abstract : Despite its widespread clinical use, the efficacy of transcutaneous electrical nerve stimulation (TENS) remains poorly documented in elderly individuals. In this randomized, double-blind crossover study, we compared the efficacy of high-frequency (HF), lowfrequency (LF), and placebo (P) TENS in a group of 15 elderly adults (mean age: 67 6 5 years). The effect of HF-, LF-, and P-TENS was also evaluated in a group of 15 young individuals (26 6 5 years; same study design) to validate the effectiveness of the TENS protocols that were used in the elderly group. Each participant came to the laboratory on 3 separate occasions to receive, in random order, HF-, LF-, and P-TENS. Pain intensity and pain perception thresholds were assessed before, during, and after TENS, using an experimental heat pain paradigm. For the young group, there was a significant decrease in pain intensity during and after HF- and LF-TENS when compared with baseline, with both HF- and LF-TENS being superior to P-TENS. In the older group, HF- and LF-TENS did not reduce pain when compared with baseline and no difference was observed between the 2 active TENS sessions and P-TENS. High-frequency, LF-, and P-TENS all increased pain thresholds in young individuals, whereas in older individuals, only LF-TENS increased pain thresholds. Taken together, these results suggest that TENS is effective in young, but not in older, individuals. Future studies should be conducted to confirm these results in pain populations and to identify strategies that could enhance the effect of TENS in the elderly

Combining transcutaneous electrical nerve stimulation with therapeutic exercise to reduce pain in an elderly population: a pilot study

Purpose: Chronic pain is a highly prevalent and debilitating condition, and there is a pressing need to find safe, effective and affordable treatments to tackle this public health issue. This pilot study aimed to assess whether therapeutic exercises supplemented by transcutaneous electrical nerve stimulation induces a greater hypoalgesic effect than therapeutic exercises supplemented by sham transcutaneous electrical nerve stimulation, in an elderly population suffering from chronic pain. Materials and methods: Eighteen elderly participants suffering from chronic pain completed a therapeutic exercise program consisting of 45-min group sessions administered twice a week for 4 weeks. Half of the participants received real transcutaneous electrical nerve stimulation during the exercise sessions, while the others received sham transcutaneous electrical nerve stimulation. Participants completed pain questionnaires (McGill Pain Questionnaire, Brief Pain Inventory, Beck Depression Index) before and after the intervention, and recorded their pain levels on an 11-point numerical rating scale before and after each session (Clinical Trial.Gov ID: NCT02445677). Results and conclusion: Our results suggest that supplementing exercise sessions with transcutaneous electrical nerve stimulation does not improve the long-term outcomes of elderly patients suffering from chronic pain, but does induce short-term hypoalgesia during exercise sessions. Our study also offers valuable guidelines for the implementation of a future and adequately powered study looking at this research question

Can we improve pain and sleep in elderly individuals with transcranial direct current stimulation? : results from a randomized controlled pilot study

Abstract : Background: The prevalence of chronic pain and sleep disturbances substantially increases with age. Pharmacotherapy remains the primary treatment option for these health issues. However, side effects and drug interactions are difficult to control in elderly individuals. Aims: The objective of this study was to assess the feasibility of conducting a randomized sham-controlled trial and to collect preliminary data on the efficacy of transcranial direct current stimulation (tDCS) to reduce pain and improve sleep in older adults suffering from chronic pain. Methods: Fourteen elderly individuals (mean age 71±7 years) suffering from chronic pain and sleep complaints were randomized to receive either anodal tDCS, applied over the primary motor cortex (2 mA, 20 minutes), or sham tDCS, for 5 consecutive days. Pain was measured with visual analog scales, pain logbooks and questionnaires, while sleep was assessed with actigraphy, sleep diaries and questionnaires. Results: There were no missing data for pain and sleep measures, except for actigraphy, that generated several missing data. Blinding was maintained throughout the study, for both the evaluator and participants. Active but not sham tDCS significantly reduced pain (P or =0.18). Conclusion: The present study provides guidelines for the implementation of future tDCS studies in larger populations of elderly individuals. M1 anodal tDCS in this population appears to be effective to reduce pain, but not to improve sleep

Transcutaneous electrical nerve stimulation (TENS): towards the development of a clinic-friendly method for the evaluation of excitatory and inhibitory pain mechanisms

Abstract: Background: Temporal summation and conditioned pain modulation (CPM) can be measured using a thermode and cold pressor test (CPTest). Unfortunately, these complex and expensive tools are ill-suited for routine clinical assessments. Aims: We aimed to compare the temporal summation and CPM obtained with the thermode + CPTest paradigm to those obtained with a novel paradigm using transcutaneous electrical nerve stimulation (TENS). Methods: We assessed temporal summation and CPM in 29 healthy participants, using two paradigms (random order): TENS, and thermode + CPTest. In the TENS paradigm, both the conditioning stimulus (CS) and the test stimulus (TS) were delivered using TENS; in the thermode + CPTest paradigm, the CS consisted of a CPTest and the TS was delivered using a thermode. We compared the average temporal summation and CPM evoked by the two paradigms. Results: Average temporal summation was similar for both modalities (P = 0.90), and the number of participants showing temporal summation was similar in both paradigms (19 with thermode vs. 18 with TENS; P = 1.00). Average CPM response was larger following the thermode + CPTest than following the TENS (P = 0.005), and more participants showed CPM with the thermode + CPTest paradigm compared to the TENS paradigm (24 vs. 14; P = 0.01). Conclusions: Both paradigms were roughly equivalent in the ability to evoke temporal summation (although response to one modality did not predict response to the other), but the TENS paradigm appeared to be less apt to induce a CPM response than the thermode + CPTest paradigm.Contexte: La sommation temporelle et la modulation de la douleur conditionnée (MDC) peuvent être mesurées à l’aide d’une thermode et d’un test au froid. Malheureusement, ces tests complexes et coûteux sont mal adaptés aux évaluations cliniques de routine. Objectifs: Nous avons cherché à comparer la sommation temporelle et la modulation de la douleur conditionnée obtenues avec le paradigme thermode + test au froid à ceux obtenus avec un nouveau paradigme utilisant la neurostimulation électrique transcutanée (TENS). Méthodes: Nous avons évalué la sommation temporelle et la modulation de la douleur conditionnée chez 29 participants en bonne santé, en utilisant les deux paradigmes (ordre aléatoire) : TENS, et thermode + test au froid. Dans le paradigme TENS, Le stimulus de conditionnement et le stimulus d’essai ont été transmis à l’aide de la neurostimulation électrique transcutanée ; dans le paradigme thermode + test au froid, le stimulus de conditionnement consistait en un test au froid et le stimulus d’essai était transmis à l’aide d’une thermode. Nous avons comparé la sommation temporelle et la modulation de la douleur conditionnée moyennes évoqués par les deux paradigmes. Résultats: La sommation temporelle moyenne était similaire pour les deux modalités (P = 0,90), et le nombre de participants ayant montré une sommation temporelle étaient similaires dans les deux paradigmes (19 avec la thermode contre 18 avec la TENS; P = 1,00). La réponse moyenne de modulation de la douleur conditionnée était plus importante après la thermode + test au froid qu’après la neurostimulation électrique transcutanée (P = 0,005), et un plus grand nombre de participants ont montré une modulation de la douleur conditionnée avec la thermode + test au froid par rapport au paradigme TENS (24 contre 14 ; P = 0,01)