共 1 条
- [1] Branching Time Logics \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {BTL}^{\mathrm {U,S}}_{\mathrm {N},\mathrm {N}^{-1}}(\mathcal {Z})_{\alpha }$\end{document} with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms [J]. Theory of Computing Systems, 2008, 43 (2) : 254 - 271