An application of nonstandard analysis to functional equations.
Classical logic with some probability operators.
Model theory for logic.
A first order probability logic – .
An intuitionistic logic with probablistic operators.
Cylindric probability algebras.
Completeness theorem for logic with imprecise and conditional probabilities.
On Existance Of Expansion Of A Complex Function
Easure and Integration in the Alternative set Theory
A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
Model Theory for Lam Logic
Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers
Continuous Time Probability Logic
A Logic With Higher Order Probabilities
Weak Probability Logic With Infinitary Predicates
A Logic of Approximate Reasoning
Probability Logics
Page 1