Observational Semantics for Dynamic Logic with Binders

DOI10.1007/978-3-319-72044-9_10zbMath1496.68109OpenAlexW2774573344MaRDI QIDQ5208504

Rolf Hennicker, Alexandre Madeira

Publication date: 16 January 2020

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01767472/file/433330_1_En_10_Chapter.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Observational interpretations of hybrid dynamic logic with binders and silent transitions ⋮ A logic for the stepwise development of reactive systems

This page was built for publication: Observational Semantics for Dynamic Logic with Binders