𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on metric dimension and feedback in discrete time

✍ Scribed by Zames, G.; Owen, J.G.

Book ID
125532467
Publisher
IEEE
Year
1993
Tongue
English
Weight
459 KB
Volume
38
Category
Article
ISSN
0018-9286

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on unbounded metric temporal logi
A note on unbounded metric temporal logic over dense time domains
✍ Stefano Baratella; Andrea Masini πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 114 KB πŸ‘ 1 views

## Abstract We investigate the consequences of removing the infinitary axiom and rules from a previously defined proof system for a fragment of propositional metric temporal logic over dense time (see [1]). (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)