𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems

✍ Scribed by Marcello M. Bonsangue; Joost N. Kok

Book ID
112252462
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
362 KB
Volume
155
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An infinitary variant of Metric Temporal
An infinitary variant of Metric Temporal Logic over dense time domains
✍ Stefano Baratella; Andrea Masini πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 144 KB πŸ‘ 1 views

## Abstract We introduce a complete and cut‐free proof system for a sufficiently expressive fragment of Metric Temporal Logic over dense time domains in which a schema of induction is provable. So doing we extend results previously obtained by Montagna et al. to unbounded temporal operators. (Β© 200

Towards an automated deduction system fo
Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
✍ Teresa Alsinet; LluΓ­s Godo πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 245 KB

In this article, we present a first-order logic programming language for fuzzy reasoning under possibilistic uncertainty and poorly known information. Formulas are represented by a pair (Ο•, Ξ±), in which Ο• is a first-order Horn clause or a query with fuzzy constants and regular predicates, and Ξ± ∈ [0