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.
Barwise Completeness Theorems For Logics With Integrals
Between logic and probability.
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, Hintikka...
Classical logic with some probability operators.
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics
A degree of probabilistic dependence is introduced in the classical logic using the Frank family of -norms known from fuzzy logics. In the quantum logic a degree of quantum dependence is added corresponding to the level of noncompatibility. Further, in the case of the fuzzy logic with -states, (resp. -states) the consideration turned out to be fully analogous to (resp. considerably different from) the classical situation.