Tootfinder

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
Justus Becker
https://arxiv.org/abs/2506.14307 https://…

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
We present a labelled and non-wellfounded calculus for the bimodal provability logic CS. The system is obtained by modelling the Kripke-like semantics of this logic. As in arXiv:2309.00532, we enforce the second-order property of converse wellfoundedness by using techniques from cyclic proof theory. We will prove soundness and completeness of this system with respect to the semantics and provide a primitive decision procedure together with a way to extract countermodels.

I ran out of coffee beans so, I did a little experiment.
Deliveroo would have taken 25-40 mins to deliver my bags of beans, and would have added delivery fees.
So, I cycled to the same coffee shop, bought the beans, a raspberry croissant, and used my reward points for a free coffee...
...and that took me an hour.
The way I see it, I got breakfast, free exercise, a free cup of coffee, and the coffee beans, and some bonus wellbeing away from my office 😄 ☕ 🥐
#exercise #coffee #vegan

You won’t hear this on the news but Scotland and other countries have declared their economy will be based on wellbeing, not GDP.
And They’re not alone.
Countries worldwide are making the same shift.
But here’s the thing: people aren’t waiting for governments.
EThey’re building wellbeing economies themselves through cooperatives, people’s assemblies, and businesses that put purpose over profit.
-- J Friday

Design for universal wellbeing.

Why I avoid the term human-centric and what I mean by universal wellbeing.

https://axbom.com/design-for-universal-wellbeing/

Balancing Caregiving and Self-Care: Exploring Mental Health Needs of Alzheimer's and Dementia Caregivers
Jiayue Melissa Shi, Keran Wang, Dong Whi Yoo, Ravi Karkar, Koustuv Saha
https://arxiv.org/abs/2506.14196

Balancing Caregiving and Self-Care: Exploring Mental Health Needs of Alzheimer's and Dementia Caregivers
Alzheimer's Disease and Related Dementias (AD/ADRD) are progressive neurodegenerative conditions that impair memory, thought processes, and functioning. Family caregivers of individuals with AD/ADRD face significant mental health challenges due to long-term caregiving responsibilities. Yet, current support systems often overlook the evolving nature of their mental wellbeing needs. Our study examines caregivers' mental wellbeing concerns, focusing on the practices they adopt to manage the burden…

Let's play Cyberpunk 2077, meine Folge 7 ist online.
Wir besuchen Jackies Trauerfeier, hören uns die Probleme von Delamain, der Auto-AI an und lernen dann Panam kennen: Auf in die Badlands, die wüstenartigen Outskirts von Night City, wo die Nomads zu Hause sind und wir uns gleich wie in Fast & Furious fühlen. Salute, mi Wahlfamilie!
https://

🇺🇦 #NowPlaying on #KEXP's #VarietyMix
Wilby:
🎵 Experiments
#Wilby
https://wilbyyymusic.bandcamp.com/track/experiments-2
https://open.spotify.com/track/4txD0JmEqTQvWT8qVWn2u2

What the ...? Ich wundere mich jedes Mal, weil ich wie ein Depp husten muss, wenn ich durch den Stuttgarter Schlossgarten fahre, und jetzt postet @… was von "Platanenhusten".
Es ergibt alles einen Sinn!
https://fedihum.org/@spinfocl/114500233766405355
(Wohlbemerkt: Es sind nicht die Platanen, die husten!)

I’m in nature
#Wellbeing