Results 211 to 220 of about 2,148,404 (272)

Modal operators

2018
Modal logic is principally concerned with the alethic modalities of necessity and possibility, although this branch of logic is applied to a wide range of linguistic and conceptual phenomena, including natural language semantics, proof theory, theoretical computer science and the formal characterization of knowledge and belief.
openaire   +1 more source

Wird Schon Stimmen! A Degree Operator Analysis of Schon

Journal of Semantics, 2018
The article puts forward a novel analysis of the German modal particle schon as a modal degree operator over propositional content. The proposed analysis offers a uniform perspective on the semantics of modal schon and its aspectual counterpart meaning ...
M. Zimmermann
semanticscholar   +1 more source

Tense and Modal Operators

1981
We are now ready to expand our semantic machinery in yet another way, this time in the direction of an intensional language — a language for which we provide a definition of denotation for all expressions not just for a single state of affairs but for many possible states of affairs. We will begin this expansion by considering the special case of tense
David R. Dowty, Robert E. Wall, Stanley Peters   +2 more
openaire   +1 more source

Special issue on Operational Modal Analysis

Mechanical Systems and Signal Processing, 2010
Operational Modal Analysis (OMA) is not really a new discipline; it has been present from the very beginning of the development of modal testing and analysis going back to the sixties and early seventies.
Brincker, Rune, Kirkegaard, Poul Henning
openaire   +3 more sources

Temporal Modalities and Modal Tense Operators

1988
Let A be a proposition and let us consider the following phrases: (1) It is always necessary that A; (2) It is always possible that A; (3) It is sometimes necessary that A; (4) It is sometimes possible that A. Our first aim is to construct a model theory for (l)–(4).
openaire   +1 more source

Extended Modal Operators

2012
Following [18, 19, 39], we construct an operator which represents both operators □ from (4.1) and \(\diamondsuit\) from (4.2). It has no analogue in the ordinary modal logic, but the author hopes that the search for such an analogue in modal logic will be interesting.
openaire   +1 more source

Quantifiers as modal operators

Studia Logica, 1980
Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as “S5-like” operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.
openaire   +1 more source

The Modality of Digital Imaging: Modal Operation

2015
Now that you’ve learned some of the basic components of digital image compositing, such as concepts and terms, alpha channels, selection sets (masking), layers, blending modes, and the like, let’s spend a chapter taking a closer look at the nature of the modal operation of advanced digital imaging software. This modal operation is also present in other
openaire   +1 more source

Gödel Homomorphisms as Gödel Modal Operators

Fundamenta Informaticae, 2013
We extend propositional Gödel logic by a unary modal operator, which we interpret as Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the binary connectives of Gödel logic. We show weak completeness of the propositional fragment w.r.t.
openaire   +2 more sources

Modal operators and functional completeness, II

Journal of Symbolic Logic, 1977
In the Kripke semantics for propositional modal logic, a frame W = (W, ≺) represents a set of “possible worlds” and a relation of “accessibility” between possible worlds. With respect to a fixed frame W, a proposition is represented by a subset of W (regarded as the set of worlds in which the proposition is true), and an n-ary connective (i.e. a way of
openaire   +2 more sources