Publications

Journal Articles

  • In Preparation

    On the decision problem of relativised fragments of first-order modal logics with counting quantifiers

    Christopher Hampson

  • The decision problem of modal product logics with a diagonal, and faulty counter machines

    Christopher Hampson, Stanislav Kikot, Agi Kurucz

    Studia Logica, 2016, vol. 104(3) : 455-486
  • Undecidable propositional bimodal logics and one-variable first-order temporal logics with counting

    Christopher Hampson, Agi Kurucz

    ACM Transactions on Computational Logic (TOCL), 2015 : 27

Conference Proceedings

  • New

    The bimodal logic of commuting difference operators is decidable

    Christopher Hampson

    Proceedings of Advances in Modal Logic (AiML'18), 2018
  • Planning for Persuasion

    Elizabeth Black, Amanda Coles, Christopher Hampson

    Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS'17), 2017 : 933-942
  • Decidable first-order modal logics with counting quantifiers

    Christopher Hampson

    Proceedings of Advances in Modal Logic (AiML'16), 2016, vol. 11 : 382-400
  • Optimal Simple Strategies for Persuasion

    Elizabeth Black, Amanda Coles, Christopher Hampson

    Proceedings of Eurepean Conference on Artificial Intelligence (ECAI'16), 2016 : 1736-1737
  • One-variable first-order linear temporal logics with counting

    Christopher Hampson, Agi Kurucz

    Proceedings of Computer Science Logic (CSL'13), 2013 : 348-362
  • On modal products with the logic of 'elsewhere'

    Christopher Hampson, Agi Kurucz

    Proceedings of Advances in Modal Logic (AiML'12), 2012, vol. 9 : 339-347

Technical Reports

  • New

    Non-finitely Axiomatisable Modal Products with Infinite Canonical Axiomatisations

    Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sergio Marcelino

    Advances in Modal Logic (AiML'18), 2018
  • S5xDiff has the exponential product model property

    Christopher Hampson

    Advances in Modal Logic (AiML'14), 2014

Theses

  • Two-dimensional modal logics with difference relations.

    Christopher Hampson

    PhD Thesis, King's College London, 2015
  • Modal logics, correspondence theory and second-order quantifier elimination methods

    Christopher Hampson

    MSc Thesis, The University of Manchester, 2011