Log in

Relevant bibliographies by topics / Modal substitution / Journal articles

To see the other types of publications on this topic, follow the link: Modal substitution.

Journal articles on the topic 'Modal substitution'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Modal substitution.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

<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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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).

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!