Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Julian C. Bradfield

dblp:12/4197 · DBLP profile ↗
← Back
15ranked-venue papers
13as first author
0since 2021 · last 2013
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 12 · 10 first-authorSoftware engineering, systems software and programming languages · 3 · 3 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
2 papers
Logic in computer science · 64% Automated reasoning and model checking · 36%

Topics — the 6 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science
fixpoint logic
0.112011
Model-checking games for fixpoint logics with partial order models · Inf. Comput. 2011
Automated reasoning and model checking
model checking
0.112011
Model-checking games for fixpoint logics with partial order models · Inf. Comput. 2011
Logic in computer science › temporal logic
linear time mu-calculus
0.011996
An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996
Logic in computer science
proof systems
0.011996
An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996
Logic in computer science › proof systems
tableau method
0.011996
An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996
Logic in computer science
temporal logic
0.011996
An Effective Tableau System for the Linear Time µ-Calculus · ICALP 1996

Methods — techniques the papers use, named apart from their topics

model checking · 0.1game semantics · 0.1
YearPublicationVenuePosition
2013 Team building in dependence
abstract
Hintikka and Sandu's Independence-Friendly Logic was introduced as a logic for partially ordered quantification, in which the independence of (existential) quantifiers from previous (universal) quantifiers is written by explicit syntax. It was originally given a semantics by games of imperfect information; Hodges then gave a (necessarily) second-order Tarskian semantics. More recently, Väänänen (2007) has proposed that the many curious features of IF logic can be better understood in his Dependence Logic, in which the (in)dependence of variables is stated in atomic formula, rather than by changing the definition of quantifier; he gives semantics in Tarskian form, via imperfect information games, and via a routine second-order perfect information game. He then defines Team Logic, where classical negation is added to the mix, resulting in a full second-order expressive logic. He remarks that no game semantics appears possible (other than by playing at second order). In this article, we explore an alternative approach to game semantics for DL, where we avoid imperfect information, yet stay locally apparently first-order, by sweeping the second-order information into longer games (infinite games in the case of countable models). Extending the game to Team Logic is not possible in standard games, but we conjecture a move to transfinite games may achieve a 'natural' game for Team Logic.
Julian C. Bradfield
CSL1
2013 Enforcing QVT-R with mu-Calculus and Games
Julian C. Bradfield, Perdita Stevens
FASE1
2012 Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus
Julian C. Bradfield, Perdita Stevens
FASE1
2011 Model-checking games for fixpoint logics with partial order models
Julian Gutierrez 0001, Julian C. Bradfield
Inf. Comput.2
2009 Model-Checking Games for Fixpoint Logics with Partial Order Models
Julian Gutierrez 0001, Julian C. Bradfield
CONCUR2
2002 Introduction to Modal and Temporal Mu-Calculi (Abstract)
Julian C. Bradfield
CONCUR1
2002 Enriching OCL Using Observational Mu-Calculus
Julian C. Bradfield, Juliana Küster Filipe Bowles, Perdita Stevens
FASE1
2000 Independence: Logics and Concurrency
Julian C. Bradfield
CSL1
1998 Simplifying the Modal Mu-Calculus Alternation Hierarchy
Julian C. Bradfield
STACS1
1998 The Modal µ-Calculus Alternation Hierarchy is Strict
Julian C. Bradfield
Theor. Comput. Sci.1
1996 The Modal mu-calculus Alternation Hierarchy is Strict
Julian C. Bradfield
CONCUR1
1996 An Effective Tableau System for the Linear Time µ-Calculus
Julian C. Bradfield, Javier Esparza, Angelika Mader
ICALP1
1996 On the Expressivity of the Modal Mu-Calculus
Julian C. Bradfield
STACS1
1992 Local Model Checking for Infinite State Spaces
Julian C. Bradfield, Colin Stirling
Theor. Comput. Sci.1
1990 Verifying Temporal Properties of Processes
Julian C. Bradfield, Colin Stirling
CONCUR1