๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A symmetric approach to axiomatizing quantifiers and modalities

โœ Scribed by Melvin Fitting

Publisher
Springer Netherlands
Year
1984
Tongue
English
Weight
582 KB
Volume
60
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A PRACTICAL APPROACH TO MODAL PRETEST DE
A PRACTICAL APPROACH TO MODAL PRETEST DESIGN
โœ CHARLES R. PICKREL ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 666 KB

The pretest design of an efficient modal test is described from the test engineer's perspective. A pretest modal model is used together with practical considerations to arrive at the number and location of excitation and response sensors on the test structure. Sensor subsets are selected to facilita

A generalized time quantifier approach t
A generalized time quantifier approach to approximate reasoning
โœ Tatiana Kiseliova; Hubert Wagner ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 289 KB

In this paper, a rather expressive fuzzy temporal logic for linear time is introduced. First, this logic is a multivalued generalization (Lukasiewicz style) of a two-valued linear-time temporal logic based on, e.g., the "until" operator. Second, it is obtained by introducing a generalized time quant