John Christopher McCabe-Dansted

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 8

Top Topics

Complete Axiomatization

Top Venues

Ann. Math. Artif. Intell.

Publications

John Christopher McCabe-Dansted, Mark Reynolds
A Parallel Linear Temporal Logic Tableau. GandALF (2017)
John Christopher McCabe-Dansted, Mark Reynolds
Rewrite rules for CTL. J. Appl. Log. 21 (2017)
John Christopher McCabe-Dansted, Mark Reynolds
To be fair, use bundles. Ann. Math. Artif. Intell. 80 (3-4) (2017)
John Christopher McCabe-Dansted, Mark Reynolds, Tim French
Modelling Systems over General Linear Time. TIME (2016)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26 (5) (2016)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for continuous time. Theor. Comput. Sci. 594 (2015)
John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds
Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics 25 (3) (2015)
John Christopher McCabe-Dansted, Mark Reynolds
A Tableau for Bundled Strategies. TABLEAUX (2015)
John Christopher McCabe-Dansted, Mark Reynolds
Verification of Rewrite Rules for Computation Tree Logics. TIME (2014)
John Christopher McCabe-Dansted, Mark Reynolds
Fairness with EXPTIME Bundled CTL Tableau. TIME (2014)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Complexity of Model Checking over General Linear Time. TIME (2013)
Dodge Cahan, John Christopher McCabe-Dansted, Arkadii M. Slinko
Nonconvergent Electoral Equilibria under Scoring Rules: Beyond Plurality CoRR (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Verifying Temporal Properties in Real Models. LPAR (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
An Algebraic System of Temporal Structures. TIME (2013)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Model Checking General Linear Temporal Logic. TABLEAUX (2013)
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
Specifying Robustness. CoRR (2013)
John Christopher McCabe-Dansted
A Tableau for the Combination of CTL and BCTL*. TIME (2012)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic (2012)
John Christopher McCabe-Dansted
A Rooted Tableau for BCTL*. Electron. Notes Theor. Comput. Sci. 278 (2011)
John Christopher McCabe-Dansted
On the Succinctness of RoCTL*. CATS (2011)
John Christopher McCabe-Dansted
Dodgson's Rule Approximations and Absurdity CoRR (2010)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
Axioms for Obligation and Robustness with Temporal Logic. DEON (2010)
John Christopher McCabe-Dansted, Clare Dixon
CTL-Like Fragments of a Temporal Logic of Robustness. TIME (2010)
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat
On the Expressivity of RoCTL*. TIME (2009)
John Christopher McCabe-Dansted, Geoffrey Pritchard, Arkadii M. Slinko
Approximability of Dodgson's rule. Soc. Choice Welf. 31 (2) (2008)
John Christopher McCabe-Dansted
A Tableau for RoBCTL*. JELIA (2008)
Tim French, John Christopher McCabe-Dansted, Mark Reynolds
A Temporal Logic of Robustness. FroCoS (2007)