We give a completeness theorem for a logic with probability quantifiers which is equivalent to the logics described in a recent survey paper of Keisler [K]. This result improves on the completeness ...

Logique et Analyse is an international, peer-reviewed journal that publishes research in logic, philosophy of logic and/or mathematics, argumentation-theory, and analytical philosophy, broadly ...

By incorporating unary operations analogous to universal and existential quantifiers, monadic structures offer a refined algebraic framework to capture predicate logics, including those with ...