Julian Bradfield

Available identifiers

zbMath Open bradfield.julian-charlesMaRDI QIDQ516247

List of research outcomes

Publication	Date of Publication	Type
The modal mu-calculus alternation hierarchy is strict	2023-06-28	Paper
The mu-calculus and Model Checking	2018-07-20	Paper
On the expressivity of the modal mu-calculus	2017-11-16	Paper
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction	2017-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q2958518	2017-02-02	Paper
On logical and concurrent equivalences	2013-04-26	Paper
Model-checking games for fixpoint logics with partial order models	2011-05-04	Paper
Model-Checking Games for Fixpoint Logics with Partial Order Models	2009-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q3509072	2008-07-01	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2006-11-01	Paper
Computer Science Logic	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4818827	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4738326	2004-08-11	Paper
Fixpoints, games and the difference hierarchy	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4484479	2003-06-12	Paper
Modal logics and mu-calculi: An introduction	2003-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3150204	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q2753677	2001-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945237	2000-03-23	Paper
Fixpoint alternation: arithmetic, transition systems, and the binary tree	2000-03-16	Paper
The modal mu-calculus alternation hierarchy is strict	1999-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4381381	1998-04-01	Paper
Local model checking for infinite state spaces	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4003036	1992-09-18	Paper

Research outcomes over time

This page was built for person: Julian Bradfield