John Christopher McCabe-Dansted

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Equilibria on a circular market when consumers do not always buy from the closest firm Review of Economic Design	2022-10-06	Paper
scientific article; zbMATH DE number 7445165 (Why is no real title available?)	2021-12-14	Paper
scientific article; zbMATH DE number 7445165 (Why is no real title available?) (available as arXiv preprint)	2021-12-14	Paper
Sublogics of a branching time logic of robustness Information and Computation	2019-05-02	Paper
Expressiveness and succinctness of a logic of robustness Journal of Applied Non-Classical Logics	2018-09-12	Paper
To be fair, use bundles Annals of Mathematics and Artificial Intelligence	2017-10-13	Paper
Rewrite rules for \(\mathrm{CTL}^\ast\) Journal of Applied Logic	2017-03-30	Paper
A complete axiomatization of a temporal logic with obligation and robustness Journal Of Logic And Computation	2017-01-31	Paper
A rooted tableau for \(\mathrm{BCTL}^\) Electronic Notes in Theoretical Computer Science*	2016-10-07	Paper
A tableau for bundled strategies Lecture Notes in Computer Science	2015-12-11	Paper
Synthesis for continuous time Theoretical Computer Science	2015-07-24	Paper
Indiscrete models: model building and model checking over linear time Logic and Its Applications	2015-01-06	Paper
Synthesis for temporal logic over the reals	2014-06-11	Paper
Verifying temporal properties in real models Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Model checking general linear temporal logic Lecture Notes in Computer Science	2013-10-04	Paper
Axioms for Obligation and Robustness with Temporal Logic Lecture Notes in Computer Science	2010-09-29	Paper
Dodgson's Rule Approximations and Absurdity	2010-08-06	Paper
Approximability of Dodgson's rule Social Choice and Welfare	2009-06-17	Paper
A Tableau for RoBCTL Logics in Artificial Intelligence	2008-10-27	Paper
A Temporal Logic of Robustness Frontiers of Combining Systems	2008-09-16	Paper

Research outcomes over time

This page was built for person: John Christopher McCabe-Dansted