A completeness theorem for two-parameter stochastic processes
A first order probability logic – .
A First-Order Conditional Probability Logic With Iterations
A Logic for Reasoning About Qualitative Probability
A Logic of Approximate Reasoning
A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
A Logic with Conditional Probability Operators
A Logic With Higher Order Conditional Probabilities
A Logic With Higher Order Probabilities
A note on nonaxiomatizability of independence relations generated by certain probabilistic structures
A proposal concerning the formulation of the infinitistic axiom in the theory of logical probability
A Propositional p-adic Probability Logic
Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
This paper has three parts. First, we study and characterize amenable and extremely amenable topological semigroups in terms of invariant measures using integral logic. We prove definability of some properties of a topological semigroup such as amenability and the fixed point on compacta property. Second, we define types and develop local stability in the framework of integral logic. For a stable formula ϕ, we prove definability of all complete ϕ-types over models and deduce from this the fundamental...
An axiomatization of extensional probability measures
An extension of the probability logic
An intuitionistic logic with probablistic operators.