Bradfield, Julian; Gutierrez, Julian; Wooldridge, Michael Partial-order Boolean games: informational independence in a logic-based model of strategic interaction. (English) Zbl 1397.91017 Synthese 193, No. 3, 781-811 (2016). MSC: 91A10 03B60 03B70 68Q17 68Q85 91A80 PDFBibTeX XMLCite \textit{J. Bradfield} et al., Synthese 193, No. 3, 781--811 (2016; Zbl 1397.91017) Full Text: DOI Link
Gutierrez, Julian; Bradfield, Julian Model-checking games for fixpoint logics with partial order models. (English) Zbl 1215.68149 Inf. Comput. 209, No. 5, 766-781 (2011). MSC: 68Q85 03B44 68Q60 91A80 PDFBibTeX XMLCite \textit{J. Gutierrez} and \textit{J. Bradfield}, Inf. Comput. 209, No. 5, 766--781 (2011; Zbl 1215.68149) Full Text: DOI