393 research outputs found
Uniform Definability in Propositional Dependence Logic
Both propositional dependence logic and inquisitive logic are expressively
complete. As a consequence, every formula with intuitionistic disjunction or
intuitionistic implication can be translated equivalently into a formula in the
language of propositional dependence logic without these two connectives. We
show that although such a (non-compositional) translation exists, neither
intuitionistic disjunction nor intuitionistic implication is uniformly
definable in propositional dependence logic
Undefinability in Inquisitive Logic with Tensor
Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.Peer reviewe
The Expressive Power of Modal Dependence Logic
We study the expressive power of various modal logics with team semantics. We
show that exactly the properties of teams that are downward closed and closed
under team k-bisimulation, for some finite k, are definable in modal logic
extended with intuitionistic disjunction. Furthermore, we show that the
expressive power of modal logic with intuitionistic disjunction and extended
modal dependence logic coincide. Finally we establish that any translation from
extended modal dependence logic into modal logic with intuitionistic
disjunction increases the size of some formulas exponentially.Comment: 19 page
On theories of random variables
We study theories of spaces of random variables: first, we consider random
variables with values in the interval , then with values in an arbitrary
metric structure, generalising Keisler's randomisation of classical structures.
We prove preservation and non-preservation results for model theoretic
properties under this construction: i) The randomisation of a stable structure
is stable. ii) The randomisation of a simple unstable structure is not simple.
We also prove that in the randomised structure, every type is a Lascar type
- …