{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:04Z","timestamp":1761611104082,"version":"3.30.2"},"reference-count":27,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,7,1]]},"DOI":"10.1305\/ndjfl\/1039700748","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:01:39Z","timestamp":1046206899000},"source":"Crossref","is-referenced-by-count":29,"title":["A Decidable Temporal Logic of Parallelism"],"prefix":"10.1215","volume":"38","author":[{"given":"Mark","family":"Reynolds","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"19","doi-asserted-by":"crossref","unstructured":"Segerberg, K., \u201cTwo-dimensional modal logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 2 (1973), pp. 77\u201396. Zbl 0259.02013 MR 54:12488","DOI":"10.1007\/BF02115610"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Belnap, N., and M. Perloff, \u201cSeeing to it that: a canonical form of agentives,\u201d pp. 175\u201399 in <i>Knowledge Representation and Defeasible Reasonings<\/i>, edited by H. Kyburg, R. Loui, and G. Carlson, Kluwer Academic Publishers, Dordrecht, 1990. MR 1131296","DOI":"10.1007\/978-94-009-0553-5_7"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Burgess, J. P., \u201cLogic and time,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 44 (1979), pp. 566\u201382. Zbl 0423.03018 MR 80m:03032","DOI":"10.2307\/2273296"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Di Maio, M., and A. Zanardo, \u201cSynchronized histories in Prior-Thomason representation of branching time,\u201d pp. 265\u201382 in <i>Temporal Logic: Proceedings of ICTL 94<\/i>, edited by D. Gabbay and H. Ohlbach, vol. 827 in LNAI, Springer-Verlag, Berlin, 1994. Zbl 0949.03514 MR 96c:03036","DOI":"10.1007\/BFb0013993"},{"key":"4","unstructured":"Di Maio, M., and A. Zanardo, \u201cA Gabbay-rule free axiomatization of ${T} \\times {W}$ validity,\u201d Technical Report, Dipartimento Matematica, University of Padova, 1996. Zbl 0920.03032"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Halpern, Y. Moses, and M. Vardi, <i>Reasoning about Knowledge<\/i>, The M.I.T. Press, Cambridge, 1995. Zbl 0839.68095 MR 96i:68075","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Finger, M., and D. Gabbay, \u201cCombining temporal logic systems,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 37 (1996), pp. 204\u201332. Zbl 0857.03008 MR 97d:03011","DOI":"10.1305\/ndjfl\/1040046087"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Finger, M., and D. M. Gabbay, \u201cAdding a temporal dimension to a logic system,\u201d <i>Journal of Logic Language and Information<\/i>, vol. 1 (1992) pp. 203\u201333. Zbl 0798.03031 MR 95h:03037","DOI":"10.1007\/BF00156915"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Gabbay, D., I. Hodkinson, and M. Reynolds, <i>Temporal Logic: Mathematical Foundations and Computational Aspects<\/i>, vol. 1, Oxford University Press, Oxford, 1994. Zbl 0921.03023 MR 95h:03040","DOI":"10.1093\/oso\/9780198537694.003.0001"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Gurevich, Y., and S. Shelah, \u201cThe decision problem for branching time logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985) pp. 668\u201381. Zbl 0584.03006 MR 87c:03033","DOI":"10.2307\/2274321"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Herwig, B., \u201cExtending partial isomorphisms on finite structures,\u201d <i>Combinatorica<\/i>, vol. 15 (1995), pp. 365\u201371. Zbl 0830.05037 MR 97a:03044","DOI":"10.1007\/BF01299742"},{"key":"11","unstructured":"Hirsch, R., I. Hodkinson, M. Marx, S. Mikul\u00e1s, and M. Reynolds, \u201cMosaics and step-by-step,\u201d forthcoming in <i>Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa<\/i>, edited by E. Orlowska. Zbl 0924.03030"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Hrushovski, E., \u201cExtending partial isomorphisms of graphs,\u201d <i>Combinatorica<\/i>, vol. 12 (1992), pp. 411\u201316. Zbl 0767.05053 MR 93m:05089","DOI":"10.1007\/BF01305233"},{"key":"13","unstructured":"Marx, M., \u201cComplexity of products of modal logics,\u201d Technical Report IR-396, ILLC, University of Amsterdam, 1995. Zbl 0945.03025"},{"key":"14","unstructured":"Marx, M., \u201cMosaics and cylindric modal logic of dimension 2,\u201d forthcoming in <i>The Proceedings of Advances in Modal Logic<\/i>, Berlin, 1996. MR 1688519"},{"key":"15","unstructured":"N\u00e9meti, I., \u201cFree algebras and decidability in algebraic logic,\u201d Ph.D. thesis, Hungarian Academy of Sciences, Budapest, 1986."},{"key":"16","doi-asserted-by":"crossref","unstructured":"Pratt, V. R., \u201cModels of program logics,\u201d pp. 115\u201322 in <i>Proceedings of the Twentieth IEEE Symposium on Foundations of Computer Science<\/i>, San Juan, 1979.","DOI":"10.1109\/SFCS.1979.24"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Reif, J., and A. Sistla, \u201cA multiprocess network logic with temporal and spatial modalities,\u201d <i>Journal of Computer and System Sciences<\/i>, vol. 30 (1985), pp. 41\u201353. Zbl 0565.68031 MR 87h:68111","DOI":"10.1016\/0022-0000(85)90003-0"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Reynolds, M., \u201cA decidable logic of parallelism,\u201d Technical Report, King's College, London, 1997. Zbl 0904.03010","DOI":"10.1305\/ndjfl\/1039700748"},{"key":"20","unstructured":"Sistla, A., and S. German, \u201cReasoning with many processes,\u201d pp. 138\u201352 in <i>Proceedings of Second IEEE Symposium on Logic in Computer Science<\/i>, IEEE, Boston, 1987."},{"key":"21","doi-asserted-by":"crossref","unstructured":"Thomason, R., Combinations of tense and modality, pp. 135\u201365 in <i>Handbook of Philosophical Logic, Vol. 2: Extensions of Classical Logic<\/i>, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984. Zbl 0875.03047 MR 844598","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Thomason, S., \u201cIndependent propositional modal logics,\u201d <i>Studia Logica<\/i>, vol. 39 (1980), pp. 143\u201344. Zbl 0457.03017 MR 81m:03026","DOI":"10.1007\/BF00370317"},{"key":"23","unstructured":"Venema, Y., and M. Marx, \u201cA modal logic of relations,\u201d Technical Report IR-396, Faculteit der Wiskunde en Informatica, University of Amsterdam, Amsterdam, 1995. MR 2000j:03037"},{"key":"24","doi-asserted-by":"publisher","unstructured":"von Kutschera, F., \u201cCausation,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 22 (1993), pp. 563\u201388. Zbl 0790.03004 MR 95d:03026","DOI":"10.1007\/BF01054036"},{"key":"25","unstructured":"von Kutschera, F., \u201c${T} \\times {W}$ completeness,\u201d forthcoming in <i>Journal of Philosophical Logic<\/i>. Zbl 0873.03023 MR 99j:03012"},{"key":"26","doi-asserted-by":"crossref","unstructured":"Zanardo, A., \u201cA finite axiomatization of the set of strongly valid Ockamist formulas,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 14 (1985), pp. 447\u201368. Zbl 0579.03015 MR 87e:03043","DOI":"10.1007\/BF00649485"},{"key":"27","doi-asserted-by":"publisher","unstructured":"Zanardo, A., \u201cBranching-time logic with quantification over branches: the point of view of modal logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 1\u201339. Zbl 0858.03021 MR 97h:03031","DOI":"10.2307\/2275595"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039700748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T21:49:49Z","timestamp":1733953789000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-3\/A-Decidable-Temporal-Logic-of-Parallelism\/10.1305\/ndjfl\/1039700748.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7,1]]},"references-count":27,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1997,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039700748","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[1997,7,1]]}}}