𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First Order Logics for Metric Structures

✍ Scribed by Bernd I. Dahn

Publisher
John Wiley and Sons
Year
1980
Tongue
English
Weight
729 KB
Volume
26
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

FIRST ORDER LOGICS FOR METRIC STRUCTURES by BERND I. DAHN in Berlin (GDR)

πŸ“œ SIMILAR VOLUMES

Some first-order probability logics
Some first-order probability logics
✍ Zoran Ognjanovic; Miodrag RaΕ‘kovic πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 172 KB

We present some ΓΏrst-order probability logics. The logics allow making statements such as PΒΏs , with the intended meaning "the probability of truthfulness of is greater than or equal to s". We describe the corresponding probability models. We give a sound and complete inΓΏnitary axiomatic system for

Inclusive first-order logic
Inclusive first-order logic
✍ Roch Ouellet πŸ“‚ Article πŸ“… 1981 πŸ› Springer Netherlands 🌐 English βš– 981 KB
Decidable fragments of first-order tempo
Decidable fragments of first-order temporal logics
✍ Ian Hodkinson; Frank Wolter; Michael Zakharyaschev πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 342 KB

In this paper, we introduce a new fragment of the ΓΏrst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisΓΏability problem for monodic formulas in various linear time st