Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sergio Marcelino
Decidable fragments of first-order modal logics with counting quantifiers over varying domains
Christopher Hampson
The decision problem of modal product logics with a diagonal, and faulty counter machines
Christopher Hampson, Stanislav Kikot, Agi Kurucz
Undecidable propositional bimodal logics and one-variable first-order temporal logics with counting
Christopher Hampson, Agi Kurucz
On the termination problem for counter machines with incrementing errors
The bimodal logic of commuting difference operators is decidable
Planning for Persuasion
Elizabeth Black, Amanda Coles, Christopher Hampson
Decidable first-order modal logics with counting quantifiers
Optimal Simple Strategies for Persuasion
One-variable first-order linear temporal logics with counting
On modal products with the logic of 'elsewhere'
Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations
S5xDiff has the exponential product model property
Two-dimensional modal logics with difference relations.
Modal logics, correspondence theory and second-order quantifier elimination methods