T. Ferguson
YOU?
Author Swipe
View article: Tableaux for epistemic Gödel logic
Tableaux for epistemic Gödel logic Open
We propose a multi-agent epistemic logic capturing reasoning with degrees of plausibility that agents can assign to a given statement, with $1$ interpreted as "entirely plausible for the agent" and $0$ as "completely implausible" (i.e., th…
View article: Modal Logic for Reasoning About Uncertainty and Confusion
Modal Logic for Reasoning About Uncertainty and Confusion Open
We consider a modal logic that can formalise statements about uncertainty and beliefs such as `I think that my wallet is in the drawer rather than elsewhere' or `I am confused whether my appointment is on Monday or Tuesday'. To do that, we…
View article: Simple tableaux for two expansions of Gödel modal logic
Simple tableaux for two expansions of Gödel modal logic Open
This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the Gödel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}ϕ,w)=1-v(ϕ,w…
View article: Using a mobile application to reduce anxiety levels, stress levels, and panic severity in a sample of the general population
Using a mobile application to reduce anxiety levels, stress levels, and panic severity in a sample of the general population Open
During the COVID-19 pandemic, people are feeling more anxious and stressed than ever. As such, mobile solutions that minimize face-to-face contact and can reduce anxiety and stress in the public are needed. The mobile application “Rootd” c…
View article: Investigation of a SPH-based sub-cell homogenization for PHWR using a multi-cell model
Investigation of a SPH-based sub-cell homogenization for PHWR using a multi-cell model Open
Superhomogenization (SPH) has gained interest in the industry as a possible method to overcome the inherent limitations of standard homogenization (SH) for full nuclearreactor-core neutronics calculations because its implementation does no…