Transition systems and dynamic semantics

Additional Metadata
Keywords	Bisimulation, Dynamic semantics, First-order logic, Transition system, Updates
MSC	Logic in artificial intelligence (msc 68T27), Logic in computer science (msc 03B70)
Publisher	Springer
Persistent URL	doi.org/10.1007/BFb0023431
Conference	European Conference on Logics in Artificial Intelligence
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fernando, T. (1992). Transition systems and dynamic semantics. In Lecture Notes in Computer Science (pp. 232–251). Springer. doi:10.1007/BFb0023431

Publication