𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some first-order probability logics

✍ Scribed by Zoran Ognjanovic; Miodrag Raškovic

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
172 KB
Volume
247
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

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 the most general of our logics, while for some restrictions of this logic we provide ÿnitary axiomatic systems. We study the decidability of our logics. We discuss some of the related papers.

📜 SIMILAR VOLUMES

First Order Logics for Metric Structures
First Order Logics for Metric Structures
✍ Bernd I. Dahn 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 729 KB

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

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

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
✍ Bogdan Stanislaw Chlebus 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.