Christopher Hampson

Identifiers

• name variant Christopher Hampson 0.60 · backfill

Papers (3)

1. Decidable fragments of first-order modal logics with counting quantifiers over varying domains cs.LO · 2018 · author #1
2. The decision problem of modal product logics with a diagonal, and faulty counter machines cs.LO · 2015 · author #1
3. Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting cs.LO · 2014 · author #1

Mentions

• 1407.1386 #1 · backfill · confidence 0.70 Christopher Hampson

Frequent Coauthors

• Agi Kurucz 2 shared papers
• Stanislav Kikot 1 shared papers