{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T10:32:21Z","timestamp":1776335541266,"version":"3.51.2"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf01160018","type":"journal-article","created":{"date-parts":[[2005,2,16]],"date-time":"2005-02-16T16:55:54Z","timestamp":1108572954000},"page":"247-283","source":"Crossref","is-referenced-by-count":40,"title":["Logic of transition systems"],"prefix":"10.1007","volume":"3","author":[{"given":"Johan","family":"Van Benthem","sequence":"first","affiliation":[]},{"given":"Jan","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Baeten, J. and Bergstra, J.A., 1993, ?On Sequential Composition, Action Prefixes and Process Prefix?, Departments of Computer Science, University of Amsterdam and University of Eindhoven."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A. and Klop, J.-W., 1984, ?Process Algebra for Synchronous Communication?,Information and Control 60, 109?137.","journal-title":"Information and Control"},{"key":"CR3","first-page":"61","volume-title":"Mathematics and Computer Science II","author":"J.A. Bergstra","year":"1986","unstructured":"Bergstra, J.A. and Klop, J.-W., 1986, ?Process Algebra: Specification and Verification in Bisimulation Semantics?, inMathematics and Computer Science II, M. Hazewinkelet al., eds., North-Holland, Amsterdam, pp. 61?94."},{"key":"CR4","first-page":"21","volume-title":"Logic Colloquium '86","author":"J.A. Bergstra","year":"1988","unstructured":"Bergstra, J.A. and Klop, J.-W., 1988, ?A Complete Inference System for Regular Processes with Silent Moves?, inLogic Colloquium '86, F. Drake and J. Truss, eds., North-Holland, Amsterdam, pp. 21?81."},{"key":"CR5","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"Chang, C.C. and Keisler, H.J., 1973,Model Theory, North-Holland, Amsterdam."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S1385-7258(66)50036-1","volume":"28","author":"D. Jongh De","year":"1966","unstructured":"De Jongh, D. and Troelstra, A., 1966, ?On the Connection of Partially Ordered Sets with Some Pseudo-Boolean Algebras?,Indagationes Mathematicae 28, 317?329.","journal-title":"Indagationes Mathematicae"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"De Nicola, R. and Vaandrager, F., 1990, ?Three Logics of Branching Bisimulation?, inProceedings 5th LICS Conference, Computer Society Press, pp. 118?129.","DOI":"10.1109\/LICS.1990.113739"},{"key":"CR8","unstructured":"Doets, K., 1987,Completeness and Definability. Applications of the Ehrenfeucht Game in Second-Order and Intensional Logic, Dissertation, Mathematical Institute, University of Amsterdam."},{"key":"CR9","unstructured":"Doets, K., 1993,Model Theory, Lecture Notes for the Fifth European Summer School in Logic, Language and Information, University of Lisbon."},{"key":"CR10","volume-title":"Axiomatizing the Logic of Computer Programming","author":"R. Goldblatt","year":"1982","unstructured":"Goldblatt, R., 1982,Axiomatizing the Logic of Computer Programming, Springer, Berlin."},{"key":"CR11","volume-title":"Logic and the Challenge of Computer Science","author":"Y. Gurevich","year":"1985","unstructured":"Gurevich, Y., 1985, ?Logic and the Challenge of Computer Science?, Computing Research Laboratory, The University of Michigan, Ann Arbor."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic, Vol. II","author":"D. Harel","year":"1984","unstructured":"Harel, D., 1984, ?Dynamic Logic?, inHandbook of Philosophical Logic, Vol. II, D. Gabbay and F. Guenthner, eds., Reidel, Dordrecht, pp. 497?604."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M. and Milner, R., 1985, ?Algebraic Laws for Nondeterminism and Concurrency?,Journal of the ACM 32, 137?161.","journal-title":"Journal of the ACM"},{"key":"CR14","unstructured":"Immerman, N. and Kozen, D., 1987, ?Definability with Bounded Number of Bound Variables?, inProceedings IEEE 1987, pp. 236?244."},{"key":"CR15","volume-title":"Model Theory for Infinitary Logic","author":"H.J. Keisler","year":"1971","unstructured":"Keisler, H.J., 1971,Model Theory for Infinitary Logic, North-Holland, Amsterdam."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0049-237X(08)71098-X","volume-title":"Handbook of Mathematical Logic","author":"H.J. Keisler","year":"1977","unstructured":"Keisler, H.J., 1977, ?Fundamentals of Model Theory?,in Handbook of Mathematical Logic, J. Barwise, ed., North-Holland, Amsterdam, pp. 47?103."},{"key":"CR17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R., 1980,A Calculus of Communicating Systems, Springer, Berlin."},{"key":"CR18","first-page":"167","volume-title":"Proceedings 5th GI Conference","author":"D. Park","year":"1981","unstructured":"Park, D., 1981, ?Concurrency and Automata on Infinite Sequences?, inProceedings 5th GI Conference, Springer, Berlin, pp. 167?183."},{"key":"CR19","first-page":"227","volume":"18","author":"A. Salwicki","year":"1970","unstructured":"Salwicki, A., 1970, ?Formalised Algorithmic Languages?,Bulletin Polish Academy of Sciences, Series Sci. Math. Astr. Phy., Vol. 18, pp. 227?232.","journal-title":"Bulletin Polish Academy of Sciences, Series Sci. Math. Astr. Phy."},{"key":"CR20","volume-title":"Handboook of Logic in Computer Science","author":"C. Stirling","year":"1989","unstructured":"Stirling, C., 1989, ?Modal and Temporal Logics?, to appear inHandboook of Logic in Computer Science, S. Abramskyet al., eds., Oxford University Press, Oxford."},{"key":"CR21","unstructured":"Van Benthem, J., 1976,Modal Correspondence Theory, Dissertation, Mathematical Institute, University of Amsterdam."},{"key":"CR22","volume-title":"Modal Logic and Classical Logic","author":"J. Benthem Van","year":"1985","unstructured":"Van Benthem, J., 1985,Modal Logic and Classical Logic, Bibliopolis, Napoli."},{"key":"CR23","volume-title":"Language in Action. Categories, Lambdas and Dynamic Logic","author":"J. Benthem Van","year":"1991","unstructured":"Van Benthem, J., 1991,Language in Action. Categories, Lambdas and Dynamic Logic, North-Holland, Amsterdam."},{"key":"CR24","unstructured":"Van Benthem, J., 1993, ?Which Program Constructions Are Safe for Bisimulation??, Institute for Logic, Language and Computation, University of Amsterdam. (To appear in D. Richard et al., eds., Logic Colloquium. Clermont-Ferrand 1994, Elsevier Science Publishers, Amsterdam)."},{"key":"CR25","volume-title":"Modal Logic, Transition Systems and Processes","author":"J. Benthem Van","year":"1993","unstructured":"Van Benthem, J., van Eyck, J. and Stebletsova, V., 1993, ?Modal Logic, Transition Systems and Processes?, Centre for Mathematics and Computer Science (CWI), Amsterdam. (To appear in the Journal of Logic and Computation)."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01160018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01160018\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01160018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T10:28:22Z","timestamp":1734949702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01160018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF01160018"],"URL":"https:\/\/doi.org\/10.1007\/bf01160018","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}