𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sequential Calculus for a First Order Infinitary Temporal Logic

✍ Scribed by Hiroya Kawai

Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
459 KB
Volume
33
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Omitting Types Theorem for first orde
An Omitting Types Theorem for first order logic with infinitary relation symbols
✍ Tarek Sayed Ahmed; Basim Samir πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 122 KB

## Abstract In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved. (Β© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Sequential and parallel methods for solv
Sequential and parallel methods for solving first-order hyperbolic equations
✍ Arigu, M. A. ;Twizell, E. H. ;Gumel, A. B. πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 478 KB

Techniques for two-time level difference schemes are presented for the numerical solution of first-order hyperbolic partial differential equations. The space derivative is approximated by (i) a low-order, and (ii) a higher-order backward difference replacement, resulting in a system of first-order o

Capturing temporal variability for estim
Capturing temporal variability for estimates of annual hydrochemical export from a first-order agricultural catchment in southern Ontario, Canada
✍ M. L. Macrae; M. C. English; S. L. Schiff; M. Stone πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 388 KB

## Abstract This 2‐year study (2000, 2001) reports annual nutrient (phosphorus, nitrate) export from a first‐order agricultural watershed in southern Ontario based on an intensive monitoring programme. The importance of storm and melt events in annual export estimates is demonstrated and the tempor