Se connecter

Bibliographies thématiques / Modal substitution / Articles de revues

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Modal substitution.

Articles de revues sur le sujet « Modal substitution »

Auteur : Grafiati

Publié le 2 juin 2025

Mis à jour le 31 juillet 2025

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Modal substitution ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

Cresswell, Max. "Non-Denumerable Infinitary Modal Logic." JUCS - Journal of Universal Computer Science 15, no. (1) (2009): 63–71. https://doi.org/10.3217/jucs-015-01-0063.

Texte intégral

Résumé :

Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal logic. However, the logics studied by Segerberg and Goldblatt are based on denumerable sets of pairs ‹Γ, α› of sets Γ of well-formed formulae and well-formed formulae α. In this paper I show how a generalisation of the infinite cut-rule used by Segerberg and Goldblatt enables the removal of the limitation to denumerable sets of sequents.

Styles APA, Harvard, Vancouver, ISO, etc.

2

VENEMA, YDE. "A Modal Logic for Quantification and Substitution." Logic Journal of IGPL 2, no. 1 (1994): 31–45. http://dx.doi.org/10.1093/jigpal/2.1.31.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Hasannejad, Mohammad Reza, Nader Assadi, and Mehdi Mirzaei. "The Role of Instructing Substitution as a Kind of Grammatical Cohesion on Its True Identification and Creation of Modal, Reporting and Conditional Contexts." Studies in English Language Teaching 1, no. 2 (2013): 298. http://dx.doi.org/10.22158/selt.v1n2p298.

Texte intégral

Résumé :

<p><em>In an effort with a two-fold research question regarding the role of teaching substitution as a kind of grammatical cohesion on the true identification of confusing substitution elements with cohesive or noncohesive roles in different contexts and also the production of modal, reporting and conditional contexts through clausal substitution acquaintance, the following procedures were taken. First 120 male and female EFL students were selected from Iranshahr Azad University. Having administered the language proficiency test, researchers selected 80 students as intermediate sub

Styles APA, Harvard, Vancouver, ISO, etc.

4

Urbaniak, Rafal. "Different Arguments, Same Problems." European journal of analytic philosophy 13, no. 2 (2018): 5–22. http://dx.doi.org/10.31820/ejap.13.2.1.

Texte intégral

Résumé :

I illustrate with three classical examples the mistakes arising from using a modal operator admitting multiple interpretations in the same argument; the flaws arise especially easily if no attention is paid to the range of propositional variables. Premisses taken separately might seem convincing and a substitution for a propositional variable in a modal context might seem legitimate. But there is no single interpretation of the modal operators involved under which all the premisses are plausible and the substitution successful.

Styles APA, Harvard, Vancouver, ISO, etc.

5

Kim, Mooseop, YunKyung Park, KyeongDeok Moon, and Chi Yoon Jeong. "Analysis and Validation of Cross-Modal Generative Adversarial Network for Sensory Substitution." International Journal of Environmental Research and Public Health 18, no. 12 (2021): 6216. http://dx.doi.org/10.3390/ijerph18126216.

Texte intégral

Résumé :

Visual-auditory sensory substitution has demonstrated great potential to help visually impaired and blind groups to recognize objects and to perform basic navigational tasks. However, the high latency between visual information acquisition and auditory transduction may contribute to the lack of the successful adoption of such aid technologies in the blind community; thus far, substitution methods have remained only laboratory-scale research or pilot demonstrations. This high latency for data conversion leads to challenges in perceiving fast-moving objects or rapid environmental changes. To red

Styles APA, Harvard, Vancouver, ISO, etc.

6

Reuter, Magdalena, Weronika Kałwak, Michał Sznajder, and Michał Wierzchoń. "How to Probe Sensory Substitution Experience? The Enactive Torch Studies." Analiza i Egzystencja 70 (2025): 5–44. https://doi.org/10.18276/aie.2025.70-01.

Texte intégral

Résumé :

Sensory Substitution (SS) is a situation when information from one sensory modality is translated into another, such as, e.g., from vision to touch or hearing. This is possible thanks to sensory substitution devices, which include Colorophone, EyeMusic or Enactive Torch. Sensory Substitution Experience (SSE) has not yet been described successfully. There is an ongoing debate about what kind of expe- rience is associated with SS—is it similar to a substituted sense such as vision, or a substituting sense such as hearing or touch, or perhaps different senses or a completely new sense? Here we pr

Styles APA, Harvard, Vancouver, ISO, etc.

7

Rich, J., O. Kveiborg, and C. O. Hansen. "On structural inelasticity of modal substitution in freight transport." Journal of Transport Geography 19, no. 1 (2011): 134–46. http://dx.doi.org/10.1016/j.jtrangeo.2009.09.012.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

HORHOLIUK, Nina. "IDEAS ARE DIFFERENT…, OR THE MODAL GAME IN MEDIA DISCOURSE." Culture of the Word, no. 97 (2022): 177–93. http://dx.doi.org/10.37919/0201-419x-2022.97.17.

Texte intégral

Résumé :

The article analyzes the functional and semantic potential of the modus predicates ‘to think’ and ‘to consider’, describes the criteria for semantic differentiation of the tokens ‘to think’ and ‘to consider’, and characterizes the types of sentences that introduce these modus predicates. The concept of the “modal game” is proposed, the cognitive mechanisms and techniques of a modal game are defined and characterized, and the effectiveness of a modal game as a manipulative tactic of the strategy of influence of speakers on the consciousness of information consumers is substantiated. The methods

Styles APA, Harvard, Vancouver, ISO, etc.

9

Aultman-Hall, Lisa, Bradford Johnson, and Brian Aldridge. "Assessing Potential for Modal Substitution from Statewide Freight Commodity Flow Data." Transportation Research Record: Journal of the Transportation Research Board 1719, no. 1 (2000): 10–16. http://dx.doi.org/10.3141/1719-02.

Texte intégral

Résumé :

Kentucky, despite its relatively small area, has an extensive multimodal freight transportation network. Presented are findings of the statewide freight commodity flow analysis that relate to one of the multimodal transportation planning issues currently facing Kentucky—the relative role of various modes in freight transport and the potential for modal substitution. Issues affecting the type of data required for statewide freight planning studies also are discussed. Statewide issues, such as modal substitution questions, require freight commodity data by origin, destination, and mode. The aggr

Styles APA, Harvard, Vancouver, ISO, etc.

10

Balbiani, Philippe. "Remarks about the unification type of several non-symmetric non-transitive modal logics." Logic Journal of the IGPL 27, no. 5 (2018): 639–58. http://dx.doi.org/10.1093/jigpal/jzy078.

Texte intégral

Résumé :

Abstract The problem of unification in a normal modal logic $L$ can be defined as follows: given a formula $\varphi$, determine whether there exists a substitution $\sigma$ such that $\sigma (\varphi )$ is in $L$. In this paper, we prove that for several non-symmetric non-transitive modal logics, there exists unifiable formulas that possess no minimal complete set of unifiers.

Styles APA, Harvard, Vancouver, ISO, etc.

11

Uckelman, Sara L. "Fictional Modality and the Intensionality of Fictional Contexts." Australasian Journal of Logic 19, no. 4 (2022): 124–32. http://dx.doi.org/10.26686/ajl.v19i4.7542.

Texte intégral

Résumé :

In (Kosterec 2021), Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction (`a la Lewis) operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional contex

Styles APA, Harvard, Vancouver, ISO, etc.

12

Redondo, Jordi. "Modal Substitution in Koine Greek: The Gospels of Mark and Luke." Scripta Classica Israelica 37 (January 13, 2020): 183–94. https://doi.org/10.71043/sci.v37i.2101.

Texte intégral

Résumé :

This paper continues our former research on the Greek Koine from a diachronic perspective. Our main goal deals with the use of the subjunctive and optative moods both in main and in subordinate clauses. The direct corpus of our analysis consists of the Gospels of Luke and Mark, as they represent a more literary (Luke) and a rather non-literary Greek Koine (Mark). Other contemporary texts, including non-literary evidences, are also used as a reference in order to establish the extent of some tendencies. The results obtained contribute to the understanding of the decline of the subjunctive and o

Styles APA, Harvard, Vancouver, ISO, etc.

13

Salvucci, Raffaele, Jacopo Tattini, Maurizio Gargiulo, Antti Lehtilä, and Kenneth Karlsson. "Modelling transport modal shift in TIMES models through elasticities of substitution." Applied Energy 232 (December 2018): 740–51. http://dx.doi.org/10.1016/j.apenergy.2018.09.083.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Khomich, V. I. "On the simple substitution property for superintuitionistic and modal propositional logics." Doklady Mathematics 78, no. 3 (2008): 923–24. http://dx.doi.org/10.1134/s1064562408060318.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Zhang, Zhe, Kun Gao, Hong-Di He, et al. "Environmental impacts of ridesplitting considering modal substitution and associations with built environment." Transportation Research Part D: Transport and Environment 130 (May 2024): 104160. http://dx.doi.org/10.1016/j.trd.2024.104160.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Nowikow, Wiaczesław. "La selección modal en las cláusulas adverbiales introducidas por como si." Studia Romanica Posnaniensia 46, no. 4 (2019): 29–40. http://dx.doi.org/10.14746/strop.2019.464.003.

Texte intégral

Résumé :

The conjunction como si select usually in the subordinated adverbial clauses (modal, conditional and comparative) the tenses of the subjunctive mood cantara / cantase and hubiera / hubiese cantado. However in some papers is mentioned the possibility of the construction of como si with the tenses of indicative mood. This paper contains the analysis of the modal selection after como si and, particularly, the possible substitution of subjunctive by the indicative tenses. The analyses is realized on the ground of the corpus of Real Academia Española (CORPES XXI, CREA, CREA. Versión anotada).

Styles APA, Harvard, Vancouver, ISO, etc.

17

Jiang, Pingping, Jonathan Rossiter, and Christopher Kent. "Auditory and tactile frequency mapping for visual distance perception: A step forward in sensory substitution and augmentation." PLOS ONE 20, no. 3 (2025): e0318354. https://doi.org/10.1371/journal.pone.0318354.

Texte intégral

Résumé :

Vision is crucial for daily tasks and interacting with the environment, but visual impairment can hinder these activities. Many sensory substitution products and studies prioritize providing abundant and accurate information, yet often overlook the inherent relationship between different modalities, potentially preventing users from receiving information intuitively. This study investigated the representation of visual distance using auditory and vibrotactile frequency through a series of psychological cross-modal matching experiments. By establishing mapping functions between auditory/vibrota

Styles APA, Harvard, Vancouver, ISO, etc.

18

Torzhok, Albina, and Elena Voevoda. "Complex Syntactic Whole: the Use of Grammatical Forms of the Predicate for Expressing Communicative Intentions." Scientific Research and Development. Modern Communication Studies 3, no. 6 (2014): 33–38. http://dx.doi.org/10.12737/7162.

Texte intégral

Résumé :

The article considers the role of the grammatical forms of the predicate in expressing communicative intentions of the speaker within complex syntactic whole. Analyzing the specifics of substitution, the author points out that implicit substitution, or deletion, is made with the help of zero substitute, while explicit substitution or replacement, implies the use of the verb ‘to do’. This type of substitution exists as a separate grammatical phenomenon based on the opposition to the explicit form of the predicate. Auxiliary and modal verbs serve as mark

Styles APA, Harvard, Vancouver, ISO, etc.

19

Nau, AmyC, KevinC Chan, and MatthewC Murphy. "Use of sensory substitution devices as a model system for investigating cross-modal neuroplasticity in humans." Neural Regeneration Research 10, no. 11 (2015): 1717. http://dx.doi.org/10.4103/1673-5374.169612.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Poutiainen, Hannu. "Self-Re-Interpretations (Of the Trace): From Restricted to General Substitutability." Derrida Today 8, no. 2 (2015): 156–74. http://dx.doi.org/10.3366/drt.2015.0108.

Texte intégral

Résumé :

This article elaborates on Christopher Norris's claim that certain aspects of Derrida's work are amenable to formalisation in modal-logical terms. Norris contends that any adequate analysis of the logic behind Derrida's work must provide an account of the notions of possibility, necessity, and necessary possibility, particularly as they are related to Derrida's notion of iterability. This article examines the further hypothesis that Derrida's understanding of modality, according to which possibilities must be accounted for even if they are never realised, might even better be described in term

Styles APA, Harvard, Vancouver, ISO, etc.

21

Hamilton-Fletcher, Giles, Thomas D. Wright, and Jamie Ward. "Cross-Modal Correspondences Enhance Performance on a Colour-to-Sound Sensory Substitution Device." Multisensory Research 29, no. 4-5 (2016): 337–63. http://dx.doi.org/10.1163/22134808-00002519.

Texte intégral

Résumé :

Visual sensory substitution devices (SSDs) can represent visual characteristics through distinct patterns of sound, allowing a visually impaired user access to visual information. Previous SSDs have avoided colour and when they do encode colour, have assigned sounds to colour in a largely unprincipled way. This study introduces a new tablet-based SSD termed the ‘Creole’ (so called because it combines tactile scanning with image sonification) and a new algorithm for converting colour to sound that is based on established cross-modal correspondences (intuitive mappings between different sensory

Styles APA, Harvard, Vancouver, ISO, etc.

22

Kong, Hui, Scarlett T. Jin, and Daniel Z. Sui. "Deciphering the relationship between bikesharing and public transit: Modal substitution, integration, and complementation." Transportation Research Part D: Transport and Environment 85 (August 2020): 102392. http://dx.doi.org/10.1016/j.trd.2020.102392.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Vij, Ridhima, Prasad Purohit, and Anthony Auerbach. "Modal affinities of endplate acetylcholine receptors caused by loop C mutations." Journal of General Physiology 146, no. 5 (2015): 375–86. http://dx.doi.org/10.1085/jgp.201511503.

Texte intégral

Résumé :

The time course of the endplate current is determined by the rate and equilibrium constants for acetylcholine receptor (AChR) activation. We measured these constants in single-channel currents from AChRs with mutations at the neurotransmitter-binding sites, in loop C. The main findings are: (a) Almost all perturbations of loop C generate heterogeneity in the channel open probability (“modes”). (b) Modes are generated by different affinities for ACh that can be either higher or lower than in the wild-type receptors. (c) The modes are stable, in so far as each receptor maintains its affinity for

Styles APA, Harvard, Vancouver, ISO, etc.

24

Wang, Xiaoping. "The McKinsey axiom is not compact." Journal of Symbolic Logic 57, no. 4 (1992): 1230–38. http://dx.doi.org/10.2307/2275366.

Texte intégral

Résumé :

The canonicity and compactness of the KM system are problems historically important in the development of our understanding of intensional logic (as explained in Goldblatt's paper, The McKinsey axiom is not canonical). The problems, however, were unsolved for years in modal logic. In the beginning of 1990, Goldblatt showed that KM is not canonical in The McKinsey axiom is not canonical. The remaining task is to solve the problem of the compactness of KM. In this paper we present a proof showing that the KM system is not compact.The symbols of the language of propositional modal logic are as fo

Styles APA, Harvard, Vancouver, ISO, etc.

25

Renier, L., O. Collignon, C. Poirier, et al. "Cross-modal activation of visual cortex during depth perception using auditory substitution of vision." Journal of Vision 5, no. 8 (2005): 902. http://dx.doi.org/10.1167/5.8.902.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

RENIER, L., O. COLLIGNON, C. POIRIER, et al. "Cross-modal activation of visual cortex during depth perception using auditory substitution of vision." NeuroImage 26, no. 2 (2005): 573–80. http://dx.doi.org/10.1016/j.neuroimage.2005.01.047.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Jiang, Pingping, Christopher Kent, and Jonathan Rossiter. "Towards sensory substitution and augmentation: Mapping visual distance to audio and tactile frequency." PLOS ONE 19, no. 3 (2024): e0299213. http://dx.doi.org/10.1371/journal.pone.0299213.

Texte intégral

Résumé :

Multimodal perception is the predominant means by which individuals experience and interact with the world. However, sensory dysfunction or loss can significantly impede this process. In such cases, cross-modality research offers valuable insight into how we can compensate for these sensory deficits through sensory substitution. Although sight and hearing are both used to estimate the distance to an object (e.g., by visual size and sound volume) and the perception of distance is an important element in navigation and guidance, it is not widely studied in cross-modal research. We investigate th

Styles APA, Harvard, Vancouver, ISO, etc.

28

Sarmast, Mehdi, and Jan R. Wright. "Rigid Body Modes on Non-Linear Resonant Decay Method." Applied Mechanics and Materials 52-54 (March 2011): 1068–73. http://dx.doi.org/10.4028/www.scientific.net/amm.52-54.1068.

Texte intégral

Résumé :

Non-Linear Resonant Decay Method (NL-RDM) addresses the identification of multi-degree of freedom non-linear systems. This method offers a practical approach to the identification of lumped parameters and continuous systems by producing a non-linear extension of the classical linear modal model. This paper is concerned with the inclusion of residual modes, below any region of interest. Any structure that is not supported to earth will have rigid body modes, being modes that have a natural frequency at zero Hertz; a good example is an aircraft. These modes are sometimes ignored but for a comple

Styles APA, Harvard, Vancouver, ISO, etc.

29

Pavone, Luigi. "On Formalizing Logical Modalities." Croatian journal of philosophy 21, no. 63 (2021): 419–30. http://dx.doi.org/10.52685/cjp.21.63.4.

Texte intégral

Résumé :

This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semantics of modal logic, when the modal elements are interpreted as logical modalities. Most authors have thought that the logic for logical modality—that is, the one to be used to formalize the notion of logical truth (and other related notions)—is to be found among logical systems in which modalities are allowed to be iterated. This has raised the problem of the adequacy, to that formalization purpose, of some modal schemes, such as S4 and S5 . It has been argued that the acceptance of S5 leads to n

Styles APA, Harvard, Vancouver, ISO, etc.

30

Ge, Yaoxia, Chen Gui, Yunqian Zhuang, Chaoying Yin, and Wenyun Tang. "Which Neighborhood Matters? Estimating Multiple-Location Built Environment Effects on the Modality Style." Buildings 15, no. 2 (2025): 185. https://doi.org/10.3390/buildings15020185.

Texte intégral

Résumé :

The literature on the built environment (BE) and travel has offered evidence on both short- and long-term aspects of travel behavior with a main focus on home and work neighborhoods; however, the effects of the BE at the main activity space on the modality style have remained largely unknown. Moreover, little is known about the inter-modal substitutions and how the substitution is affected by the satiation effects. Based on survey data from Beijing, a Multiple Discrete Continuous Extreme Value (MDCEV) model is adopted to reveal the effects of BE at home, work, and activity space locations on t

Styles APA, Harvard, Vancouver, ISO, etc.

31

Hamilton-Fletcher, Giles, and Jamie Ward. "Representing Colour Through Hearing and Touch in Sensory Substitution Devices." Multisensory Research 26, no. 6 (2013): 503–32. http://dx.doi.org/10.1163/22134808-00002434.

Texte intégral

Résumé :

Visual sensory substitution devices (SSDs) allow visually-deprived individuals to navigate and recognise the ‘visual world’; SSDs also provide opportunities for psychologists to study modality-independent theories of perception. At present most research has focused on encoding greyscale vision. However at the low spatial resolutions received by SSD users, colour information enhances object-ground segmentation, and provides more stable cues for scene and object recognition. Many attempts have been made to encode colour information in tactile or auditory modalities, but many of these studies exi

Styles APA, Harvard, Vancouver, ISO, etc.

32

Rybakov, V. V. "Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus." Annals of Pure and Applied Logic 50, no. 1 (1990): 71–106. http://dx.doi.org/10.1016/0168-0072(90)90055-7.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

Khulief, Y. A., and S. P. Sun. "Finite Element Modeling and Semiactive Control of Vibrations in Road Vehicles." Journal of Dynamic Systems, Measurement, and Control 111, no. 3 (1989): 521–27. http://dx.doi.org/10.1115/1.3153083.

Texte intégral

Résumé :

Control of vibrations in lightweight road vehicle systems has placed increasingly higher demands on the technology required to accurately model and predict dynamic response of a vehicle system. In this paper, a method for modeling vehicles as systems of interconnected rigid and flexible bodies is presented. Finite element and component mode substitution techniques are employed to characterize elastic motions of flexible bodies in terms of minimal set of modal coordinates. Equations of motion and constraints of coupled system are written in terms of a set of reference and modal coordinates. Sem

Styles APA, Harvard, Vancouver, ISO, etc.

34

Gerte, Raymond, Karthik C. Konduri, Nalini Ravishanker, Amit Mondal, and Naveen Eluru. "Understanding the Relationships between Demand for Shared Ride Modes: Case Study using Open Data from New York City." Transportation Research Record: Journal of the Transportation Research Board 2673, no. 12 (2019): 30–39. http://dx.doi.org/10.1177/0361198119849584.

Texte intégral

Résumé :

The concept of shared travel, making trips with other users via a common vehicle, is far from novel. However, a changing technological climate has laid the tracks for new dynamically shared modes in the form of transportation network companies (TNCs), to substantially impact travel behavior. The current body of research on how these modal offerings impact the demand for existing shared modes (e.g., bikeshare, transit) is growing. However, a comprehensive investigation of the temporal evolution of the demand for TNCs and their relationship to other shared modes, is lacking. This research tackle

Styles APA, Harvard, Vancouver, ISO, etc.

35

Shi, Yuanyuan, Ziyi Liu, Qiyuan Fan, Xiao Wang, Qibai Huang, and Jiangying Peng. "Dynamic Modeling and Modal Analysis of Rectangular Plates with Edge Symmetric Periodic Acoustic Black Holes." Symmetry 17, no. 7 (2025): 1031. https://doi.org/10.3390/sym17071031.

Texte intégral

Résumé :

The vibration noise of plate structures in engineering is strongly related to the modal resonance, and modal design is the key to improve the dynamic characteristics of plate structures and avoid structural resonance. This paper investigates the dynamic and mode characteristics for an edge periodic acoustic black hole plate structure to provide a new approach to vibration and sound attenuation in plate structures. Firstly, based on the principles of symmetry and periodicity, this work presents the geometrical modeling and mathematical description of a rectangular plate with symmetrical periodi

Styles APA, Harvard, Vancouver, ISO, etc.

36

DZIK, WOJCIECH, and PIOTR WOJTYLAK. "UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS." Review of Symbolic Logic 12, no. 1 (2018): 37–61. http://dx.doi.org/10.1017/s1755020318000011.

Texte intégral

Résumé :

AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) struc

Styles APA, Harvard, Vancouver, ISO, etc.

37

Fagin, Ronald, Joseph Y. Halpern, and Moshe Y. Vardi. "What is an inference rule?" Journal of Symbolic Logic 57, no. 3 (1992): 1018–45. http://dx.doi.org/10.2307/2275447.

Texte intégral

Résumé :

AbstractWhat is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference (σ ⊦vφ for every substitution τ, the validity of τ[σ] entails the validity of τ[φ]), and truth inference (σ⊦l φ if for every substitution τ, the truth of τ[σ] entails the truth of τ[φ]). In this paper we introduce a general semantic framework that allows us to investigate the notion of inference more carefully. Validity inference and truth inference are in some sense the extremal points in our framework. We investigate the relatio

Styles APA, Harvard, Vancouver, ISO, etc.

38

Nagle, Michael C., and S. K. Thomason. "The extensions of the modal logic K5." Journal of Symbolic Logic 50, no. 1 (1985): 102–9. http://dx.doi.org/10.2307/2273793.

Texte intégral

Résumé :

Our purpose is to delineate the extensions (normal and otherwise) of the propositional modal logic K5. We associate with each logic extending K5 a finitary index, in such a way that properties of the logics (for example, inclusion, normality, and tabularity) become effectively decidable properties of the indices. In addition we obtain explicit finite axiomatizations of all the extensions of K5 and an abstract characterization of the lattice of such extensions.This paper refines and extends the Ph.D. thesis [2] of the first-named author, who wishes to acknowledge his debt to Brian F. Chellas fo

Styles APA, Harvard, Vancouver, ISO, etc.

39

HORHOLIUK, Nina. "LANGUAGE GAME AND MODAL GAME: CORRELATION OF CONCEPTS AND TERMS." Culture of the Word, no. 99 (2023): 193–206. http://dx.doi.org/10.37919/0201-419x-2023.99.15.

Texte intégral

Résumé :

The article characterizes the correlation between the concepts of language game and modal game. The mechanisms that make language play possible and its creative character, and language game tools are analyzed. The term modal game is interpreted as a manipulative tactic of the speaker’s strategy of informational influence on the reader / listener, a conscious and planned linguistic manipulation carried out by the speaker, resulting in the recipient’s mental perspective of reality changes. The study focuses on the correlation of the basic differentiating features of language and modal games – la

Styles APA, Harvard, Vancouver, ISO, etc.

40

Bergantino, Angela Stefania, and Leonardo Madio. "Intermodal competition and substitution. HSR versus air transport: Understanding the socio-economic determinants of modal choice." Research in Transportation Economics 79 (March 2020): 100823. http://dx.doi.org/10.1016/j.retrec.2020.100823.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Ganbat, Battogtokh. "“Монголын Нууц Товчоон” дахь нэрийн орхилт". Монгол судлал 47, № 1 (2024): 40–46. http://dx.doi.org/10.22353/ms20234703.

Texte intégral

Résumé :

Within the theoretical framework of Systematic Functional Grammar, cohesions are classified as ellipsis, substitution, reference, lexical cohesion, and conjunction. Accordingly, the author has analyzed and explained nominal ellipsis in Mongolian. Based on some nominal ellipsis observed in the Secret History of Mongolian, subjects and objects occurring in the first sentence are omitted in the next sentence but expressed as zero forms The nominal ellipsis expresses the modal meaning to evaluate the phenomenon, and it will be a method to elaborate, extend, and enhance the idea of texts.

Styles APA, Harvard, Vancouver, ISO, etc.

42

Buchs, Galit, Benedetta Haimler, Menachem Kerem, Shachar Maidenbaum, Liraz Braun, and Amir Amedi. "A self-training program for sensory substitution devices." PLOS ONE 16, no. 4 (2021): e0250281. http://dx.doi.org/10.1371/journal.pone.0250281.

Texte intégral

Résumé :

Sensory Substitution Devices (SSDs) convey visual information through audition or touch, targeting blind and visually impaired individuals. One bottleneck towards adopting SSDs in everyday life by blind users, is the constant dependency on sighted instructors throughout the learning process. Here, we present a proof-of-concept for the efficacy of an online self-training program developed for learning the basics of the EyeMusic visual-to-auditory SSD tested on sighted blindfolded participants. Additionally, aiming to identify the best training strategy to be later re-adapted for the blind, we c

Styles APA, Harvard, Vancouver, ISO, etc.

43

Salvucci, Raffaele, Maurizio Gargiulo, and Kenneth Karlsson. "The role of modal shift in decarbonising the Scandinavian transport sector: Applying substitution elasticities in TIMES-Nordic." Applied Energy 253 (November 2019): 113593. http://dx.doi.org/10.1016/j.apenergy.2019.113593.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

44

Shkilniak, О. S., and S. S. Shkilniak. "Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics." PROBLEMS IN PROGRAMMING, no. 2-3 (September 2024): 19–27. https://doi.org/10.15407/pp2024.02-03.019.

Texte intégral

Résumé :

The aim of the work is to study new classes of program-oriented logical formalisms of the modal type – pure first-order modal logics of partial quasiary predicates without monotonicity condition and enriched with equality predicates. Modal logics can be used to describe and model various subject areas, artificial intelligence systems, information and software systems. The limitations of the classical predicate logic on which traditional modal logics are based determine the relevance of the problem of introducing new program-oriented logical formalisms. Such are composition-nominative modal log

Styles APA, Harvard, Vancouver, ISO, etc.

45

Walther, Joseph B., and Monica T. Whitty. "Language, Psychology, and New New Media: The Hyperpersonal Model of Mediated Communication at Twenty-Five Years." Journal of Language and Social Psychology 40, no. 1 (2020): 120–35. http://dx.doi.org/10.1177/0261927x20967703.

Texte intégral

Résumé :

Research on the hyperpersonal model originally described how the substitution of language for nonverbal cues, necessitated by text-based computer-mediated communication systems, transforms users’ reception, self-presentation, composition, and reciprocal reinforcement of messages in ways that create socially desirable relationships online. This article reviews the model after 25 years. It explicates the original model and mentions a sample of illustrative findings. It reflects on the state of internet diffusion and research traditions in the 1990s that affected the model’s original focus, and h

Styles APA, Harvard, Vancouver, ISO, etc.

46

Delso, Javier, Belén Martín, and Emilio Ortega. "Potentially Replaceable Car Trips: Assessment of Potential Modal Change towards Active Transport Modes in Vitoria-Gasteiz." Sustainability 10, no. 10 (2018): 3510. http://dx.doi.org/10.3390/su10103510.

Texte intégral

Résumé :

Road traffic is the most important contributor to noise and air pollutant emissions in cities. Its substitution by non-motorized modes therefore has great potential to improve the urban environment while increasing levels of physical activity among the population. This paper identifies car trips that could potentially be transferred to active modes such as walking and cycling, and analyses the barriers perceived by people who travel by car. We detect potentially replaceable car trips based on a mobility survey, distance calculation, and a distance threshold approach. The answers to a set of qu

Styles APA, Harvard, Vancouver, ISO, etc.

47

Prussi, Matteo, and Laura Lonza. "Passenger Aviation and High Speed Rail: A Comparison of Emissions Profiles on Selected European Routes." Journal of Advanced Transportation 2018 (June 27, 2018): 1–10. http://dx.doi.org/10.1155/2018/6205714.

Texte intégral

Résumé :

Air transport has been constantly growing and forecasts seem to confirm the trend; the resulting environmental impact is relevant, both at local and at global scale. In this paper, data from various datasets have been integrated to assess the environmental impact of modal substitution with high speed rail. Six intra-EU28 routes and a domestic route have been defined for comparison. The airports have been chosen considering the share of the total number of passengers on flights to/from other EU Member States. Three scenarios have been proposed in the time period 2017–2025; aircraft types, dista

Styles APA, Harvard, Vancouver, ISO, etc.

48

Abel, Andreas, Nils Anders Danielsson, and Oskar Eriksson. "A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized." Proceedings of the ACM on Programming Languages 7, ICFP (2023): 920–54. http://dx.doi.org/10.1145/3607862.

Texte intégral

Résumé :

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has Π-types, weak and strong Σ-types, natural numbers, an empty type, and a universe, and we also extend the theory with a unit type and graded Σ-types. The theory is parameterized by a modality, a kind of partially ordered semiring, whose elements (grades) are used to track the usage of variables in terms and types. Different modalities are possible. We focus mainly on quantitative properties, in particular erasure: with the erasure modality one can

Styles APA, Harvard, Vancouver, ISO, etc.

49

Lei, Zhen, Frederic Gillot, and Louis Jezequel. "Shape Optimization for Natural Frequency with Isogeometric Kirchhoff-Love Shell and Sensitivity Mapping." Mathematical Problems in Engineering 2018 (June 26, 2018): 1–11. http://dx.doi.org/10.1155/2018/9531651.

Texte intégral

Résumé :

A fast shape optimization strategy for free form shell structure design with structural dynamics criteria is proposed in this paper. The structures are modelled with Non-Uniform Rational B-Spline based isogeometric Kirchhoff-Love shell elements. The substitution of the traditional finite elements not only makes the mesh model geometrically exact but also avoids the laborious mesh regeneration during the design update. As for the structural response evaluation, the modal synthesis method is adopted to avoid a repeated evaluation of some substructures where there are no designed variables attach

Styles APA, Harvard, Vancouver, ISO, etc.

50

Yin, Ziyi, Muchao Ye, Tianrong Zhang, et al. "VQAttack: Transferable Adversarial Attacks on Visual Question Answering via Pre-trained Models." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 7 (2024): 6755–63. http://dx.doi.org/10.1609/aaai.v38i7.28499.

Texte intégral

Résumé :

Visual Question Answering (VQA) is a fundamental task in computer vision and natural language process fields. Although the “pre-training & finetuning” learning paradigm significantly improves the VQA performance, the adversarial robustness of such a learning paradigm has not been explored. In this paper, we delve into a new problem: using a pre-trained multimodal source model to create adversarial image-text pairs and then transferring them to attack the target VQA models. Correspondingly, we propose a novel VQATTACK model, which can iteratively generate both im- age and text perturbations

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!