BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christopher Hampson
SearchCollections
Map detail
Christopher Hampson4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipChristopher HampsonAChristopher HampsonResearcherNon-finitely axiomatisable modal product logics with infinite canonical axiomatisationsWNon-finitely axiomatisa...preprint / 2020Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with countingWUndecidable proposition...preprint / 2015The decision problem of modal product logics with a diagonal, and faulty counter machinesWThe decision problem of...preprint / 2015
Person3 links

Christopher Hampson

Researcher

PaperNon-finitely axiomatisable modal product logics with infinite canonical axiomatisationsAuthorship / preprint / 2020PaperUndecidable propositional bimodal logics and one-variable first-order linear temporal logics with countingAuthorship / preprint / 2015PaperThe decision problem of modal product logics with a diagonal, and faulty counter machinesAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)