arXiv subjects

Thomas Ferguson

Publications and source records attributed to Thomas Ferguson.

4 recordsLinked to original sources

arXiv2026

A Formal Framework for Noisy Runtime Verification

We introduce the logic EDMon---an epistemic dynamic logic meant to model monitorability concepts in noisy runtime verification. Its syntax and semantics are defined and explained and the connection between EDMon and monitorability and noisy runtime verification concepts is explored. We then demonstrate that EDMon is sufficient to capture many of the results in the noisy runtime verification literature and catalog its relation to nearby logics and describe a large class of its theorems.

cs.LO↗

arXiv2025

Tableaux for epistemic G\"{o}del logic

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., the agent knows that the statement is false). We formalise such reasoning in an expansion of G\"{o}del fuzzy logic with an involutive negation and multiple $\mathbf{S5}$-like modalities. As already G\"{o}del single-modal logics are known to lack the finite model property w.r.t. their standard $[0,1]$-valued Kripke semantics, we provide an alternative semantics that allows for the finite model property. For this semantics, we construct a strongly terminating tableaux calculus that allows us to produce finite counter-models of non-valid formulas. We then use the tableaux to show that the validity problem in our logic is $\mathsf{PSpace}$-complete when there are two or more agents, and $\mathsf{coNP}$-complete for the single-agent case.

math.LO↗

arXiv2024

Simple tableaux for two expansions of G\"odel modal logic

This paper considers two logics. The first one, $\mathbf{K}\mathsf{G}_\mathsf{inv}$, is an expansion of the G\"odel modal logic $\mathbf{K}\mathsf{G}$ with the involutive negation $\sim_\mathsf{i}$ defined as $v({\sim_\mathsf{i}}\phi,w)=1-v(\phi,w)$. The second one, $\mathbf{K}\mathsf{G}_\mathsf{bl}$, is the expansion of $\mathbf{K}\mathsf{G}_\mathsf{inv}$ with the bi-lattice connectives and modalities. We explore their semantical properties w.r.t. the standard semantics on $[0,1]$-valued Kripke frames and define a unified tableaux calculus that allows for the explicit countermodel construction. For this, we use an alternative semantics with the finite model property. Using the tableaux calculus, we construct a decision algorithm and show that satisfiability and validity in $\mathbf{K}\mathsf{G}_\mathsf{inv}$ and $\mathbf{K}\mathsf{G}_\mathsf{bl}$ are PSpace-complete.

math.LO↗

arXiv2007

Smooth and Starburst Tidal Tails in the GEMS and GOODS Fields

GEMS and GOODS fields were examined to z~1.4 for galaxy interactions and mergers. The basic morphologies are familiar: antennae with long tidal tails, tidal dwarfs, and merged cores; M51-type galaxies with disk spirals and tidal arm companions; early-type galaxies with diffuse plumes; equal-mass grazing-collisions; and thick J-shaped tails beaded with star formation and double cores. One type is not common locally and is apparently a loose assemblage of smaller galaxies. Photometric measurements were made of the tails and clumps, and physical sizes were determined assuming photometric redshifts. Antennae tails are a factor of ~3 smaller in GEMS and GOODS systems compared to local antennae; their disks are a factor of ~2 smaller than locally. Collisions among early type galaxies generally show no fine structure in their tails, indicating that stellar debris is usually not unstable. One exception has a 5x10**9 Msun smooth red clump that could be a pure stellar condensation. Most tidal dwarfs are blue and probably form by gravitational instabilities in the gas. One tidal dwarf looks like it existed previously and was incorporated into the arm tip by tidal forces. The star-forming regions in tidal arms are 10 to 1000 times more massive than star complexes in local galaxies, although their separations are about the same. If they all form by gravitational instabilities, then the gaseous velocity dispersions in interacting galaxies have to be larger than in local galaxies by a factor of ~5 or more; the gas column densities have to be larger by the square of this factor.

astro-ph↗