Gorrieri, Roberto Team bisimilarity, and its associated modal logic, for BPP nets. (English) Zbl 1497.68339 Acta Inf. 58, No. 5, 529-569 (2021). MSC: 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{R. Gorrieri}, Acta Inf. 58, No. 5, 529--569 (2021; Zbl 1497.68339) Full Text: DOI
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. (English) Zbl 1331.68147 Acta Inf. 52, No. 1, 61-106 (2015). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B45 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Acta Inf. 52, No. 1, 61--106 (2015; Zbl 1331.68147) Full Text: DOI Link
Seo, Jeongbong; Park, Sungwoo Judgmental subtyping systems with intersection types and modal types. (English) Zbl 1354.03037 Acta Inf. 50, No. 7-8, 359-380 (2013). MSC: 03B70 03B15 03B45 68T15 PDFBibTeX XMLCite \textit{J. Seo} and \textit{S. Park}, Acta Inf. 50, No. 7--8, 359--380 (2013; Zbl 1354.03037) Full Text: DOI
Burrieza, Alfredo; de Guzmán, Inma P. A functional approach for temporal \(\times\) modal logics. (English) Zbl 1024.03018 Acta Inf. 39, No. 2, 71-96 (2003). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{A. Burrieza} and \textit{I. P. de Guzmán}, Acta Inf. 39, No. 2, 71--96 (2003; Zbl 1024.03018) Full Text: DOI
Hennessy, M.; Liu, Xin Xin A modal logic for message passing processes. (English) Zbl 0827.68102 Acta Inf. 32, No. 4, 375-393 (1995). MSC: 68T27 03B45 PDFBibTeX XMLCite \textit{M. Hennessy} and \textit{X. X. Liu}, Acta Inf. 32, No. 4, 375--393 (1995; Zbl 0827.68102) Full Text: DOI
Morris, Joseph M. Temporal predicate transformers and fair termination. (English) Zbl 0672.68006 Acta Inf. 27, No. 4, 287-313 (1990). Reviewer: J.M.Morris MSC: 68Q60 03B45 PDFBibTeX XMLCite \textit{J. M. Morris}, Acta Inf. 27, No. 4, 287--313 (1990; Zbl 0672.68006) Full Text: DOI
Queille, J. P.; Sifakis, J. Fairness and related properties in transition systems - a temporal logic to deal with fairness. (English) Zbl 0489.68024 Acta Inf. 19, 195-220 (1983). MSC: 68Q65 03B45 68Q85 PDFBibTeX XMLCite \textit{J. P. Queille} and \textit{J. Sifakis}, Acta Inf. 19, 195--220 (1983; Zbl 0489.68024) Full Text: DOI
Nishimura, Hirokazu Sequential method in propositional dynamic logic. (English) Zbl 0401.03005 Acta Inf. 12, 377-400 (1979). MSC: 03B45 68Q65 68W99 68N01 03B60 PDFBibTeX XMLCite \textit{H. Nishimura}, Acta Inf. 12, 377--400 (1979; Zbl 0401.03005) Full Text: DOI
Kröger, F. LAR: A logic of algorithmic reasoning. (English) Zbl 0347.68016 Acta Inf. 8, 243-266 (1977). MSC: 68N01 03B10 03B45 PDFBibTeX XMLCite \textit{F. Kröger}, Acta Inf. 8, 243--266 (1977; Zbl 0347.68016) Full Text: DOI