John C. McCabe-Dansted

Available identifiers

zbMath Open mccabe-dansted.john-christopherMaRDI QIDQ518744

List of research outcomes

Publication	Date of Publication	Type
Equilibria on a circular market when consumers do not always buy from the closest firm	2022-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384170	2021-12-14	Paper
Sublogics of a branching time logic of robustness	2019-05-02	Paper
Expressiveness and succinctness of a logic of robustness	2018-09-12	Paper
To be fair, use bundles	2017-10-13	Paper
Rewrite rules for \(\mathrm{CTL}^\ast\)	2017-03-30	Paper
A complete axiomatization of a temporal logic with obligation and robustness	2017-01-31	Paper
A Rooted Tableau for BCTL*	2016-10-07	Paper
A Tableau for Bundled Strategies	2015-12-11	Paper
Synthesis for continuous time	2015-07-24	Paper
Indiscrete Models: Model Building and Model Checking over Linear Time	2015-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5419881	2014-06-11	Paper
Verifying Temporal Properties in Real Models	2014-01-17	Paper
Model Checking General Linear Temporal Logic	2013-10-04	Paper
Axioms for Obligation and Robustness with Temporal Logic	2010-09-29	Paper
Dodgson's Rule Approximations and Absurdity	2010-08-06	Paper
Approximability of Dodgson's rule	2009-06-17	Paper
A Tableau for RoBCTL	2008-10-27	Paper
A Temporal Logic of Robustness	2008-09-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John C. McCabe-Dansted