In this paper we study the structure of the set SAT of all satisfiable propositional logical formulas. In particular we raise the question whether the distribution of SAT within the set A of all propositional formulas exhibits fractal behavior. This answer is of course relative to a metric on A. We show that for one such metric there is strong evidence that the distribution does indeed behave w...

We describe the operational semantics of the language for modelling logical concurrent systems (LCS). Such systems are characterised by atomic synchronous uniication. The model permits the description of both dependant and independent simultaneous actions or sets of atomic events. A semantics is given via labelled transition systems. The notion of equivalence over such systems is deened by stro...

Propositional modal logics have two independent sources of complexity: unbounded logical omniscience and unbounded logical introspection. This paper discusses an approximation method to tame both of them, by merging propositional approximations with a new technique tailored for multi-modal logics. It provides both skeptical and credulous approximations (or approximation that are neither of the ...

Although many in the addiction treatment field use the term "medication-assisted treatment" to describe a combination of pharmacotherapy and counseling to address substance dependence, research has demonstrated that opioid agonist treatment alone is effective in patients with opioid dependence, regardless of whether they receive counseling. The time has come to call pharmacotherapy for such pat...

OBJECTIVE This study examined the extent to which associations between volunteering and subjective well-being (SWB) could be related to volunteers having more supportive social networks relative to nonvolunteers. METHOD The sample consisted of 561 midlife and older adults (aged 55-94 years) from the TRAnsitions In Later Life study. Multiple mediation analyses examined associations between hou...

Both telematic performances and COVID suffer from latency. In performance, it is the lag between a musical gesture you make, time that others in network receive it. COVID, lags contact showing symptoms, pubic health policy decisions their effects. I argue we need to embrace latency as an improvisational partner both our performances, care policies. Black aesthetics approaches sound improvisatio...