Model Theory for Lam Logic
Miodrag Rašković (1985)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “Model theory for logic.”
Model Theory for Lam Logic
Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers
Miodrag Rašković, Predrag Tanović (1990)
Publications de l'Institut Mathématique
Similarity:
The Relevance of Measure and Probability, and Definition of Completeness of Probability
Bo Zhang, Hiroshi Yamazaki, Yatsuka Nakamura (2006)
Formalized Mathematics
Similarity:
In this article, we first discuss the relation between measure defined using extended real numbers and probability defined using real numbers. Further, we define completeness of probability, and its completion method, and also show that they coincide with those of measure.
Integration on generalized measure spaces
Mirko Navara (1989)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
A Logic With Higher Order Conditional Probabilities
Zoran Ognjanović, Nebojša Ikodinović (2007)
Publications de l'Institut Mathématique
Similarity:
Classical logic with some probability operators.
Rašković, Miodrag (1993)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Between logic and probability.
Ton Sales (1994)
Mathware and Soft Computing
Similarity:
Logic and Probability, as theories, have been developed quite independently and, with a few exceptions (like Boole's), have largely ignored each other. And nevertheless they share a lot of similarities, as well a considerable common ground. The exploration of the shared concepts and their mathematical treatment and unification is here attempted following the lead of illustrious researchers (Reichenbach, Carnap, Popper, Gaifman, Scott & Krauss, Fenstad, Miller, David Lewis, Stalnaker,...
Weak Probability Logic With Infinitary Predicates
Silvana Marinković, Miodrag Rašković, Radosav Đorđević (1999)
Publications de l'Institut Mathématique
Similarity: