Christopher Hampson

Available identifiers

Publication	Date of Publication	Type
MUL-tree pruning for consistency and compatibility	2024-10-21	Paper
Maximal degenerate palindromes with gaps and mismatches	2023-10-12	Paper
Towards a sound and complete dialogue system for handling enthymemes	2023-03-31	Paper
On the termination and structural termination problems for counter machines with incrementing errors	2021-06-30	Paper
Enthymemes in dialogues	2021-01-21	Paper
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations	2020-03-12	Paper
On the termination problem for counter machines with incrementing errors	2019-10-22	Paper
The bimodal logic of commuting difference operators is decidable	2019-07-24	Paper
Decidable first-order modal logics with counting quantifiers	2018-04-23	Paper
One-variable first-order linear temporal logics with counting	2017-02-02	Paper
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting	2017-01-30	Paper
The decision problem of modal product logics with a diagonal, and faulty counter machines	2016-06-14	Paper
On modal products with the logic of `elsewhere'	2014-06-11	Paper

This page was built for person: Christopher Hampson